p q p+q p´ (p+q) • p´
1 1 1 0 0
1 0 1 0 0
0 1 1 1 1
0 0 0 1 0
Propriedades:
p q p↔ (p ↔ q) (p ↔ q) • p →
q •p q
1 1 1 1 1
1 0 0 0 1
0 1 0 0 1
0 0 1 0 1
Portanto, simbolicamente: (p → q) • p ⇒ q.
p q p→ q p’ p’ + q p → q ↔ p’ + q
1 1 1 0 1 1
1 0 0 0 0 1
0 1 1 1 1 1
0 0 1 1 1 1
Portanto, simbolicamente: p → q ⇔ p’ + q.
5. Regras de Inferência:
Comutativa • •
p q⇔ q p p+q ⇔ q+p
Associativa • • • •
(p q) r ⇔ p (q r) (p+q)+r ⇔ p+(q+r)
Indepotente •
p p⇔ p p+p ⇔ p
Propriedade de V •
p V⇔ p p+V ⇔ V
Propriedade de F •
p F⇔ F p+F ⇔ p
Absorção •
p (p+r) ⇔ p •
p+(p r) ⇔ p
Distributivas • • • •
p (q+r) ⇔ (p q) (p r) •
p+(q r) ⇔ (p+q ) (p+r) •
Distributivas • •
p → (q r) ⇔ (p → q) (p → p → (q + r) ⇔ (p → q)+(p →
r) r)
Leis De Morgan • •
(p q)’ ⇔ p’ q’ (p + q)’ ⇔ p’ q’ •
Def. Implicação p → q ⇔ p’+q •
p → q ⇔ (p q’ )’
•
Def. Bicondicional p ↔ q ⇔ (p → q) (q → p) p ↔ q ⇔ (p’+q) (q’+p)•
Negação ( p’)’ ⇔ p
Contraposição p → q ⇔ q’ → p’ (p • q) → r ⇔ p → ( q → r )
Exportação ( ⇒ ) Importação ( ⇐ ) (p • q) → r ⇔ p → ( q → r )
Troca de Premissas p → (q → r) ⇔ q → (p → r)
2. Cálculo de Predicados
Dotado de uma linguagem mais rica, tem várias aplicações importantes não só
para matemáticos e filósofos como também para estudantes de Ciência da
Computação. Podemos observar que nas linguagens de programação conhecidas
como PROCEDURAIS (Pascal e outras), os programas são elaborados para
"dizer" ao computador a tarefa que deve ser realizada. Em outras linguagens
de programação conhecidas como DECLARATIVAS, os programas reúnem uma
série de dados e regras e as usam para gerar conclusões. Estes programas são
conhecidos como SISTEMAS ESPECIALISTAS ou SISTEMAS BASEADOS
NO CONHECIMENTO que simulam em muitos casos a ação de um ser humano.
Essas linguagens declarativas incluem predicados, quantificadores, conectivos
lógicos e regras de inferência que, como veremos, fazem parte do Cálculo de
Predicados. Também podemos observar, como expomos abaixo, que existem
vários tipos de argumentos os quais, apesar de válidos, não é possível justificá-
los com os recursos do Cálculo Proposicional:
Variáveis: x, y , z ,
Constantes : a, b, c,
Símbolos de predicados: P, Q, R, S ,
Quantificadores : ∀ (universal) , ∃ (existencial)
Exemplo:
1. "Maria é inteligente”
I (m) ; onde "m" está identificando Maria e "I" a propriedade de "ser
inteligente".
Exemplos:
Teorema 2: ∀a ∈B, a + a = a e a• a = a.
Teorema 3: ∀a ∈B, a +1 = a e a • 0 = a .
Neste caso não passa corrente se e somente p=0 e q=0, ou seja, estão ambos
"abertos" o que corresponde no Cálculo Proposicional à tabela verdade da
disjunção.
p q
Exercícios Resolvidos:
b) A eutanásia deve ser permitida se, e só se, for aplicada a doentes terminais.
Solução: p : “A eutanásia deve ser permitida”.
q : “A eutanásia é aplicada em doentes terminais”.
p↔q
2. Formalize os argumentos:
a) Se for à praia e tomar banho, leio um livro. Sucede que não leio um livro,
portanto não vou à praia e tomo banho.
Solução: p : “Vou à praia”.
q : “ Tomo banho”.
r: “Leio um livro”.
( p • q) → r
r' .
∴ ( p • q )'
b) Está a chover, uma vez que se não chovesse as pessoas não estavam
molhadas e as pessoas estão molhadas.
Solução: p : “Está a chover”.
q : “ A pessoas estão molhadas”.
p' → q'
q .
∴ p'
c) A Ana não está contente, pois quando tira positivo num teste fica contente e
sempre que fica contente canta. Acontece que a Ana não canta.
Solução: p : “A Ana está contente”.
q : “ A Ana tira positivo”.
r: “ A Ana canta”.
q→ p
p→ r
r' .
∴ q'
d) Deus existe ou a Bíblia está errada. Se Deus existe, não existe o mal no
mundo. Mas no mundo existe o mal. Daí que a Bíblia esteja errada.
e) Se Deus existe e é bom, então o mal não existe no mundo. E se o mal não
existe no mundo então o paraíso terrestre existe. A verdade é que o paraíso
terrestre não existe. Logo, não é verdade que Deus existe e é bom.