Beruflich Dokumente
Kultur Dokumente
3 – Construção de Tabelas-Verdade
𝑝 𝑞 ~𝑞 𝑝 ˄ ~𝑞 ~(𝑝 ˄ ~𝑞 )
V V F F V
V F V V F
F V F F V
F F V F V
𝐴2,𝑛 = 2𝑛
𝐴2,𝑛 = 25 = 32
Resoluções:
a. 𝑃(𝑝, 𝑞 ) = ~(𝑝 ˄ 𝑞 )˅~(𝑞 ↔ 𝑝)
Proposições simples: 𝑝, 𝑞
Proposição composta: 𝑝 ˄ 𝑞
Proposição composta: 𝑞 ↔ 𝑝
Negação de uma das proposições compostas: ~(𝑝 ˄ 𝑞 )
Negação de uma das proposições compostas: ~(𝑞 ↔ 𝑝)
Proposição composta: ~(𝑝 ˄ 𝑞 )˅~(𝑞 ↔ 𝑝)
𝑝 𝑞 𝑝 ˄ 𝑞 ~(𝑝 ˄ 𝑞) 𝑞 ↔ 𝑝 ~(𝑞 ↔ 𝑝) ~(𝑝 ˄ 𝑞)˅~(𝑞 ↔ 𝑝)
V V V F V F F
V F F V F V V
F V F V F V V
F F F V V F V
b. 𝑃(𝑝, 𝑞, 𝑟) = 𝑝 ˅~ 𝑟 → 𝑞 ˄ ~𝑟
Proposições simples: 𝑝, 𝑞, 𝑟
Proposição composta: 𝑝 ˅~ 𝑟
Proposição composta: 𝑞 ˄ ~𝑟
Proposição composta: 𝑝 ˅~ 𝑟 → 𝑞 ˄ ~𝑟
Negação de uma das proposições simples: ~𝑟
𝑝 𝑞 𝑟 ~𝑟 𝑝 ˅~ 𝑟 𝑞 ˄ ~𝑟 𝑝 ˅~ 𝑟 → 𝑞 ˄ ~𝑟
V V V F V F F
V V F V V V V
V F F V V F F
F V V F F F V
F V F V V V V
F F V F F F V
V F V F V F F
F F F V V F F
c. 𝑃(𝑝, 𝑞, 𝑟) = (𝑝 → 𝑞 )˄(𝑞 → 𝑝) → (𝑝 → 𝑟)
Proposições simples: 𝑝, 𝑞, 𝑟
Proposição composta: 𝑝 → 𝑞
Proposição composta: 𝑞 → 𝑝
Proposição composta: 𝑝 → 𝑟
Proposição composta: (𝑝 → 𝑞 )˄(𝑞 → 𝑝)
Proposição composta: (𝑝 → 𝑞 )˄(𝑞 → 𝑝) → (𝑝 → 𝑟)
𝑝 𝑞 𝑟 𝑝→𝑞 𝑞→𝑝 𝑝 → 𝑟 (𝑝 → 𝑞)˄(𝑞 → 𝑝) (𝑝 → 𝑞)˄(𝑞 → 𝑝) → (𝑝 → 𝑟)
V V V V V V V V
V V F V V F V F
V F F F V F F V
F V V V F V F V
F V F V F V F V
F F V V V V V V
V F V F V V F V
F F F V V F F V
Proposições simples: 𝑝, 𝑞, 𝑟
Negação de uma das proposições simples: ~𝑞
Negação de uma das proposições simples: ~𝑟
Proposição composta: ~𝑞 ˅ 𝑟
Proposição composta: (𝑝 → (~𝑞 ˅ 𝑟))
Proposição composta: 𝑝 ↔ ~𝑟
Proposição composta: ( 𝑞 ˅ (𝑝 ↔ ~𝑟))
Negação de uma das proposições compostas: ~( 𝑞 ˅ (𝑝 ↔
~𝑟))
Proposição composta:(𝑝 → (~𝑞 ˅ 𝑟)) ˄ ~(𝑞 ˅ (𝑝 ↔ ~𝑟))
V V V F F V V F V F F
V V F F V F F V V F F
V F F V V V V V V F F
F V V F F V V V V F F
F V F F V F V F V F F
F F V V F V V V V F F
V F V V F V V F F V V
F F F V V V V F F V V
Valor lógico de uma proposição composta
Exemplo:
1. V(p) = V e V (q) = F
𝑃(𝑝, 𝑞 ) = ~(𝑝˅𝑞 ) ↔ ~𝑝˄~𝑞
2. V(p) = F e V (q) = F
𝑃(𝑝, 𝑞 ) = (𝑝 → 𝑞 ) → (𝑝 → 𝑝 ˄𝑞)
𝑝 𝑞 (𝑝 → 𝑞) 𝑝 ˄ 𝑞 𝑝 → 𝑝˄𝑞 (𝑝 → 𝑞 ) → (𝑝 → 𝑝 ˄𝑞)
V V V V V V
V F F F F V
F V V F V V
F F V F V V
𝑃(𝑝, 𝑞 ) = (𝑝 → 𝑞 ) → (𝑝 → 𝑝 ˄ 𝑞)
𝑃(𝑝, 𝑞 ) = (𝐹 → 𝐹 ) → (𝐹 → 𝐹 ˄ 𝐹)
𝑃(𝑝, 𝑞 ) = 𝑉 → (𝐹 → 𝐹)
𝑃(𝑝, 𝑞 ) = 𝑉 → 𝑉
𝑃(𝑝, 𝑞 ) = 𝑉
𝑝 𝑞 𝑟 ~𝑝 ~𝑞 𝑟 → ~𝑝 𝑞 ↔ (𝑟 → ~𝑝) ~𝑞 → 𝑝 ( ~𝑞 → 𝑝) ↔ 𝑟 (𝑞 ↔ (𝑟 → ~𝑝))˅(( ~𝑞 → 𝑝) ↔ 𝑟)
V V V F F F F V V V
V V F F F V V V F V
V F F F V V F V F F
F V V V F V V V V V
F V F V F V V V F V
F F V V V V F F F F
V F V F V F V V V V
F F F V V V F F V V
𝑃(𝑝, 𝑞, 𝑟) = (𝑞 ↔ (𝑟 → ~𝑝))˅(( ~𝑞 → 𝑝) ↔ 𝑟)
𝑃(𝑝, 𝑞, 𝑟) = (𝐹 ↔ (𝐹 → 𝐹 ))˅(( 𝑉 → 𝑉 ) ↔ 𝐹)
𝑃(𝑝, 𝑞, 𝑟) = (𝐹 ↔ 𝑉)˅(𝑉 ↔ 𝐹)
𝑃(𝑝, 𝑞, 𝑟) = 𝐹 ˅ 𝐹
𝑃(𝑝, 𝑞, 𝑟) = 𝐹
4. V(r) = V
𝑃(𝑝, 𝑞, 𝑟) = 𝑝 → ~𝑞 ˅ 𝑟
𝑝 𝑞 𝑟 ~𝑞 ~𝑞 ˅ 𝑟 𝑝 → ~𝑞 ˅ 𝑟
V V V F V V
V V F F F F
V F F V V V
F V V F V V
F V F F F V
F F V V V V
V F V V V V
F F F V V V
𝑃(𝑝, 𝑞, 𝑟) = 𝑝 → ~𝑞 ˅ 𝑟
𝑃(𝑝, 𝑞, 𝑟) = 𝑝 → ~𝑞 ˅ 𝑉
𝑃(𝑝, 𝑞, 𝑟) = 𝑝 → 𝑉
𝑃(𝑝, 𝑞, 𝑟) = 𝑝 → 𝑉
𝑝 q = Verdade 𝑝→𝑞
V V V
F V V
Portanto,
𝑃(𝑝, 𝑞, 𝑟) = 𝑝 → 𝑉
𝑃(𝑝, 𝑞, 𝑟) = 𝑉
5. V(q) = V
𝑃(𝑝, 𝑞 ) = (𝑝 → 𝑞) → (~𝑞 → ~𝑝)
Sugestões de exercícios:
Livro: FILHO (2002), p. 39, 40, 41 e 42 – Capítulo 3.
Referências Bibliográficas
BISPO, Carlos Alberto F.; CASTANHEIRA, Luiz B.; FILHO, Oswaldo Melo S. Introdução à
Lógica Matemática. São Paulo: Cengage Learning, 2011.
FILHO, Edgard de Alencar. Iniciação à Lógica Matemática. São Paulo: Nobel, 2002.