ESI 10 -10-2022

Aula 6- Lógica de Predicados

Exercício

Verifique se o seguinte argumento é válido:

“Para obter uma mensagem de erro é suficiente o código do programa possuir erros. O código programa
possui erros ou a sua compilação produz um ficheiro executável. Se tivermos um ficheiro executável,
podemos correr o programa. Não conseguimos correr o programa. Logo, a compilação do programa produz
uma mensagem de erro.”
Legenda Premissas e tese

ele tem óculos

1
 ESI 10 -10-2022

p ( x ) ≡ x tem óculos

p( )≡

p( )≡

Observação sobre objetos genéricos , que são representados por letras designadas por variáveis.

Às afirmações (com variáveis livres) associam-se os chamados conjuntos de verdade que são os conjuntos de

valores para os quais é verdadeira.

Escreve-se

e lê-se é o conjunto cujos elementos satisfazem ou para os quais é

verdadeira.

Exemplo

p ( x ) ≡ {x} ^ {2} -1 =0

Conjuntos de verdade e conectivas lógicas

Se P é um conjunto de verdade de uma fórmula p( x ) e Q é o conjunto de verdade de uma fórmula q (x)

2
 ESI 10 -10-2022

O conjunto de verdade da fórmula é tal que:

De modo semelhante,

Quantificadores

p( x )- pode ser verdadeira para alguns valores de x pertencentes ao universo do discurso e falsa para
outros.
Relembrar ex. 2 da aula 3

a) 2n=n2.

b) Para algum n , 2n=n 2.

c) x− y = y−x

d) Para todos os números reais x− y = y−x .

Quantificador universaL

Por vezes, pretende-se dizer que uma dada fórmula p(x ) é verdadeira (do universo). Escreve-se então

“para todo o x , p( x )” ou “qualquer que seja x , p( x )”

3
 ESI 10 -10-2022

e representa-se simbolicamente por

A quantificação pode ser feita apenas sobre uma parte de .

D ⊂U

p ( x ) ≡ x>1
,

Se então

é logicamente equivalente a .

Exemplo L6

Suponha que é a fórmula .

4
 ESI 10 -10-2022

Então,

x p( x )?

é uma proposição

é uma proposição

Se D ⊂ D 1 2

∀ x ∈ D 1 : p( x) ∀ x ∈ D 2 : p( x )
Verdadeira
Verdadeira
Falsa
Falsa

Exercício

1. Considere a fórmula

p ( x ) ≡ se x é divisor de 8 então x é divisor de 6

Verifique se ∀ x ∈ N : p(x ) .

2. Considere a fórmula

p ( x ) ≡ se x é múltiplo de 6 então x é múltiplo de 3

5
 ESI 10 -10-2022

Verifique se ∀ x ∈ N : p(x ) .

Quantificador Existencial
Para significar que existe (no universo do discurso) pelo menos um elemento x para o qual p( x ) se verifica, o
que pode ler-se da seguinte forma

“existe pelo menos um tal que ”.

Escreve-se

A quantificação pode ser feita apenas sobre uma parte de .

D ⊂U

p ( x ) ≡ x>3
,

Se então

a logicamente equivalente a .

O valor lógico (de verdade ou falsidade) de uma proposição quantificada depende do domínio considerado.

6
 ESI 10 -10-2022

Exemplo

Se D1 ⊂ D 2

∃ x ∈ D1 : p (x) ∃ x ∈ D 2 : p (x)
Verdadeira
Verdadeira
Falsa
Falsa

Quando o U =∅ , o universo é o conjunto vazio

7
 ESI 10 -10-2022

Unicidade
Por vezes emprega-se o quantificador existencial numa situação simultânea de unicidade, ou seja, quer-se

afirmar não só que existe um elemento para o qual a fórmula se transforma numa proposição
verdadeira, mas que este e único, ou seja que existe um só para um elemento do domínio de quantificação.

Neste caso emprega-se a abreviatura

Que significa “existe um e só um tal que ”.

Indique se as seguintes proposições são verdadeiras ou falsas:

1)

2)

3)

Quantificação múltipla

Uma fórmula matemática pode ter mais do que uma variável.

8
 ESI 10 -10-2022

Considere-se, por exemplo, os seguintes domínios de quantificação

U 1={ y : y é cidade mundial }

U 2={ x : x é paísdo mundo }

E a fórmula p ( y , x ) ≡ y capital de x

∀ x ∈U 2 , ∃ y ∈U 1 : p ( y , x )

Podemos trocar???

∃ y ∈U 1 , ∀ x ∈U 2 : p ( y , x )

Exercício

Diga se são verdadeiras as seguintes proposições:

1. ∀ x ∈ R , ∃ y ∈ R : x + y=5 .

2. ∃ y ∈ R , ∀ x ∈ R : x + y=5 .

3. ∀ x ∈ R , ∃ y ∈ R : x . y =0.

4. ∃ y ∈ R , ∀ x ∈ R : x . y =0.

Estes exemplos ilustram a não comutatividade de dois quantificadores universal, ∀ , e existencial, ∃.

9
 ESI 10 -10-2022

Dois quantificadores da mesma espécie são sempre comutativos enquanto que dois quantificadores de espécie
diferente são geralmente não comutativos, isto é, a sua permuta conduz a proposições de conteúdo distinto.

Negação de proposições quantificadas

Considerar o domínio de quantificação U ={x : x é alunos do IPCA na sala T } e a fórmula

p ( x ) ≡ x é tem óculos

O que significa

Negar…..

Considerar o domínio de quantificação U ={x : x é alunos do IPCA na sala T } e a fórmula

p ( x ) ≡ x é aluno da ESG

O que significa

Negar…..

Segundas leis de Morgan

10
 ESI 10 -10-2022

equivale a

equivale a

Segundas leis de Morgan

Exercício 24
Escreva as frases que se seguem usando notação lógica na qual x designa um gato e p(x ) significa “ x gosta de
creme”.
a) Todos os gatos gostam de creme.

b) Nenhum gato gosta de creme.

c) Um gato gosta de creme.

d) Alguns gatos não gostam de creme.

Exercício 25
Escreva a proposição negação da proposição apresentada.

11
 ESI 10 -10-2022

a) Algumas pessoas gostam de matemática.

b) Todas as pessoas gostam de gelado.

c) Algumas pessoas são altas e magras

Exercício 30

Negue a proposição “toda a gente tem um parente de quem não gosta” usando a simbologia lógica.

Exercício 29

12
 ESI 10 -10-2022

Sendo o domínio da quantificação, indique quais das proposições que se seguem são verdadeiras e quais são
falsas.

a)

b)

c)

d)

e)

13
 ESI 10 -10-2022

Exercício 26

Considere a proposição

tal que, e o domínio de

quantificação é o conjunto dos naturais .

a) Averigúe, justificando, o valor lógico da interpretação seguinte

b) Diga, justificando, qual o valor lógico de .

14