UNIVERSIDADE FEDERAL DO MARANHÃO

CCET – CENTRO DE CIÊNCIAS EXATAS E TECNOLOGIAS

CURSO DE FÍSICA

ANTÔNIO CARLOS DINIZ REIS FILHO

JEAN LUCCA DE MIRANDA MENDES
LUCAS SANTOS RAMOS
ROMÁRIO ALBERTO FARIAS CHAVES

CÁLCULO DOS PREDICADOS COM QUANTIFICADORES

SÃO LUÍS
2019
 Quantificadores e predicados

Quantificadores: são frases do tipo “para todo” ou “para cada” ou “para algum”, isso é, frase
que dizem quantos objetos, em algum sentido, tem uma determinada propriedade.

Predicados: É a propriedade de uma determinada sentença. A notação é P(x).

Quantificador universal:

É simbolizado por ∀ e se lê “para todo”, “para qualquer” ou “para cada”.

Observe a sentença: para todo x, x > o.

Essa é uma proposição verdadeira sobre os números inteiros positivos
Ela contém o quantificador - para todo x, e o predicado é x>o. Logo a sentença acima pode ser
simbolizada por(∀x)(x>0), mas como x>0 é o predicado, podemos colocar ainda numa forma
mais geral: (∀x)(Px)
O Valor lógico dessa expressão depende do domínio dos objetos sobre os quais estamos nos
referindo, isso é, a coleção de objetos dentre os quais x pode ser escolhido. Essa coleção se
chama domínio de interpretação, ou conjunto universo.

• Exemplo 1:

∀ : * Todos os cachorros são marrons.

* Qualquer que seja o cachorro é marrom.

• Se o conjunto universo consiste em todos os livros em sua biblioteca municipal.

• Se (Px) é a propriedade de x ter a capa vermelha.

• Logo (∀ x )(Px) diz que:” todos os livros em sua biblioteca municipal têm capa vermelha”.

• É claro que o valor lógico dessa expressão, com essa interpretação, deve ser falso.

• Exemplos 2:

• Qual o valor lógico da expressão (∀ x )(Px) nas duas interpretações:

• (A)(Px) é a propriedade que x é amarelo e o conjunto universo é o conjunto de todos os

botões de ouro. (verdadeira)

• B) (Px) é a propriedade que x é amarelo e o conjunto universo é o conjunto de todas as

flores. (falsa)

Quantificador existencial:

É simbolizado por ∃, e se lê “existe um”, “ao menos um”, ‘”pelo menos um”, “existe algum” ou
“para algum”.
∃: * Existe um cachorro marrom.
* Pelo menos um cachorro é marrom.

Exemplo 3:

• Se o conjunto universo consiste em todos os livros em sua biblioteca municipal.

• Se (Px) é a propriedade de x ter a capa vermelha.

• Logo (∃ x ) (Px) diz que: „em sua biblioteca municipal tem pelo menos um livro de capa
vermelha”.

É claro que o valor lógico dessa expressão, com essa interpretação, deve ser verdadeiro.

Os predicados que vimos envolvem propriedades de uma única variável, são os predicados unários.
Mas eles podem ser binários, se envolvem duas variáveis, ternários, envolvendo propriedades de
três variáveis e assim por diante.

• Exemplo: Na expressão: (∀ x) (∃ y) Q(x,y) que é lida como “para todo x existe um y tal que Q(x,y)”,
há dois predicados para as duas variáveis da propriedade binária.

ATENÇÂO: a ordem dos quantificadores é muito importante, ela altera a interpretação.

Exemplos: Vamos agora tentar determinar a validade:

• 1. (∀ x ) P ( x ) →(∃ x ) P ( x ) (é válida). Se todo elemento do conjunto universo tem uma

determinada propriedade, então existe um elemento do conjunto que tem essa propriedade. Logo
sempre que o antecedente for verdadeiro o consequente também o é, o condicional é verdadeiro.

• 2. (∀ x ) P ( x ) →P ( a )(é válida). Como todo elemento do conjunto universo tem uma

determinada propriedade, e a é um elemento particular do conjunto universo, portanto ele tem a
propriedade que todos os elementos têm.

• 3. (∀ x )[ P ( x ) ∧Q ( x )] ↔(∀ x ) P ( x ) ∧(∀ x ) Q ( x )(é válida)Se P e Q forem verdadeiras para

todos os elementos do domínio, então P é verdadeira para todos os elementos e Q é verdadeira
para todos os elementos, e vice-versa.( ↔ ; V V = V ou F F = V)

• 4. (∃x ) P ( x ) →(∀ x ) P ( x )(não é válida)Por exemplo, como a interpretação onde o domínio é o

conjunto dos inteiros e P(x) significa que x é par, é verdade que existe um inteiro par, mas é falso
que todos os inteiros são pares. O antecedente do condicional é verdadeiro e o consequente é
falso. Logo o condicional é falso. (→ ;VF=F)

Negação de quantificadores

O quantificador universal se nega usando o existencial e o quantificador existencial se nega

usando o universal.
Ex:
• Todo estudante é esforçado. (universal)
• Algum estudante não é esforçado. (existencial)

• Alguns cachorros são verdes. (existencial)

• Nenhum cachorro é verde(universal)

• Algumas vacas são brancas.(existencial)

• Nenhuma vaca é branca.(universal)