Este documento presenta 14 expresiones lógicas proposicionales con diferentes conectivos como conjunción, disyunción, negación, implicación y equivalencia. También solicita resolver las tablas de verdad de estas expresiones de acuerdo con el tipo de conectivo utilizado en cada una. El documento es parte de un curso de Lógica y Matemática Computacional y fue escrito por el profesor Thomás da Costa.

1. ANHANGUERA – 2016.2
LÓGICA E MATEMÁTICA COMPUTACIONAL
EXERCÍCIOS 01 – LÓGICA PROPOSICIONAL
Prof. Thomás da Costa
thomascosta@aedu.com

2. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
a) p ˄ q
b) p → q
c) p → ¬q
d) ¬p ˄ (p ˄ q)
e) ¬p → q
f) p ˄ (p ˅ q)
g) (p ˄ q) ˅ p
h) p → (p ˅ q)
i) (q → p) ˅ p
j) (p ↔ q) ˄ (¬p ˄ q)
k) p ↔ ((p ˄ q) ˅ q )
l) p → ((p ˄ q) ↔ (p ˅ q))
m) p ˄ q → r
n) p ˄ q ↔ ¬r
Exercícios
Resolva as tabelas verdades de acordo com o tipo de conectivo:
LÓGICA PROPOSICIONAL

3. Obrigado !!!
ANHANGUERA – 2016.2