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