Metodologia Científica - Cálculo de Predicados Com Quantificadores

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)

Metodologia Científica - Cálculo de Predicados Com Quantificadores

Enviado por

Dados do documentoclique para ver informações do documento

Direitos autorais:

Formatos disponíveis

Metodologia Científica - Cálculo de Predicados Com Quantificadores

Enviado por

Dados do documento

Descrição original:

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Metodologia Científica - Cálculo de Predicados Com Quantificadores

Enviado por

Direitos autorais:

Formatos disponíveis

UNIVERSIDADE FEDERAL DO MARANHÃO

CCET – CENTRO DE CIÊNCIAS EXATAS E TECNOLOGIAS

ANTÔNIO CARLOS DINIZ REIS FILHO

CÁLCULO DOS PREDICADOS COM QUANTIFICADORES

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

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

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

∀ : * Todos os cachorros são marrons.

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

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

• 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

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

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

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

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

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

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

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

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

• Alguns cachorros são verdes. (existencial)

• Algumas vacas são brancas.(existencial)

Você também pode gostar