Lógica Computacional - Aula Teórica 18: Leis da Lógica de ...
Lógica e Matemática Computacional - Exercícios 01
3
ANHANGUERA – 2016.2 LÓGICA E MATEMÁTICA COMPUTACIONAL EXERCÍCIOS 01 – LÓGICA PROPOSICIONAL Prof. Thomás da Costa [email protected]
-
Upload
thomas-da-costa -
Category
Technology
-
view
713 -
download
1
Transcript of Lógica e Matemática Computacional - Exercícios 01
ANHANGUERA – 2016.2
LÓGICA E MATEMÁTICA COMPUTACIONALEXERCÍCIOS 01 – LÓGICA PROPOSICIONAL
Prof. Thomás da [email protected]
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
a) p ˄ qb) p → qc) p → ¬qd) ¬p ˄ (p ˄ q)e) ¬p → qf) p ˄ (p ˅ q)g) (p ˄ q) ˅ ph) p → (p ˅ q)i) (q → p) ˅ pj) (p ↔ q) ˄ (¬p ˄ q)k) p ↔ ((p ˄ q) ˅ q )l) p → ((p ˄ q) ↔ (p ˅ q))m) p ˄ q → rn) p ˄ q ↔ ¬r
ExercíciosResolva as tabelas verdades de acordo com o tipo de conectivo:
LÓGICA PROPOSICIONAL
Obrigado !!!
ANHANGUERA – 2016.2