Resumo Quantificadores
Resumo Quantificadores
Resumo Quantificadores
Sentenças em que não há como decidir o valor lógico são ditas proposições abertas e o sujeito
lógico envolvido nessas sentenças é denominado variável.
Precisamos definir o universo de discurso (U), elementos que a variável pode assumir, a fim de
tornar-se uma proposição.
1- QUANTIFICADOR UNIVERSAL
2- QUANTIFICADOR EXISTENCIAL
A expressão “existe pelo menos um x, tal que x é mortal”. é chamada quantificador existencial, e
denotada por ∃ x, ou seja, podemos reescrever a sentença como: (∃ x) (p(x)).
Observação: quando existe um único elemento em U que torna a proposição (∃ x) (p(x)) verdadeira,
denotamos por: (∃!x) (p(x)) ⇒ (∃ x) (p(x)).
Definição: Seja p(x) uma proposição com uma variável x em um universo U. Definimos a negação
dos quantificadores por:
i) ∼ [(∀x) (p(x))] ⇔ (∃ x) (∼ p(x)).
ii) ∼ [(∃ x) (∼ p(x))] ⇔ (∀x) (∼ p(x)).
1
Exemplo2: “Alguns animais são ferozes”
U: animais
p(x): x é feroz, onde x ∈ U
Temos: (∃ x) (p(x))
Temos: ∼ [(∃x)] (p(x)) ⇔ (∀x) (~p(x))
“Nenhum animal é feroz”.
Definição: Quando temos uma proposição verdadeira em uma proposição composta pelo
quantificador universal ou existencial, apresentar um exemplo é escolher x em U para o qual a
proposição é verdadeira.
1 Linguagem Simbólica
2 Linguagem Natural
2
iii) “Todos os tomes foram mal no campeonato”
U: times
p(x): x vai bem no campeonato
P: (∀x) (p(x))
LS: ~ [(∀x) (p(x))] ⇔ (∃ x) (~p(x))
LN: “Alguns times não vão bem no campeonato”
F + F=F V
F F F → Tautologia / Bicondicional
V V →V V → Tautologia / Bicondicional
F V e V
V V F
3
(∀y) (∃ x) (2x + y = 24) → qualquer y
tomar: x = 24 – 4 → x∈ Ζ → falsa
(∃ y) (∃ x) (2 x + y = 24)
tomar: 24 – x / 2 → tomar y = 0 x ∈ Ζ → verdadeira
TEOREMA: seja p(x,y) uma proposição aberta, com duas variáveis livres, então:
tomando y=0, y = -2
a) (∃ x) (∃ y) (p(x,y)) ⇔ (∃ y) (∃ x) (p(x,y))