Lógica e Matemática Computacional - Anhanguera Exercícios de Lógica Proposicional

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