Post on 16-Apr-2017
ANHANGUERA – 2016.2
LÓGICA E MATEMÁTICA COMPUTACIONALEXERCÍCIOS 03 – TAUTOLOGIAS,
CONTRADIÇÕES E CONTINGÊNCIASProf. Thomás da Costa
thomascosta@aedu.com
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
a) p → (¬ p → q)b) ¬ p ˅ q → (p → q)c) p → (q → (q → p))d) ((p → q) ↔ q) → pe) p ˅ ¬ q → (p → ¬ q)f) p → ((p ˄ q) ↔ (p ˅ q))g) p → (p ˅ q) ˅ r
ExercíciosDeterminar quais das seguintes proposições são tautológicas, contraválidas, ou contingentes:
TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
a) ¬p ˄ (p ˄ q)b) ¬p → qc) p ˄ (p ˅ q)d) (p ˄ q) ˅ pe) p → (p ˅ q)f) (q → p) ˅ pg) (p ↔ q) ˄ (¬p ˄ q)h) p ↔ ((p ˄ q) ˅ q )i) p → ((p ˄ q) ↔ (p ˅ q))j) p ˄ q → rk) p ˄ q ↔ ¬r
Exercícios
TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS
Determinar quais das seguintes proposições são tautológicas, contraválidas, ou contingentes:
Exercícios feitos nas primeiras aulas !!!
Obrigado !!!
ANHANGUERA – 2016.2