Este documento apresenta exercícios de lógica proposicional para determinar se proposições são tautologias, contradições ou contingências. O professor Thomás da Costa fornece 10 proposições para análise, cobrindo tópicos como negação, conjunção, disjunção e implicação. O objetivo é aplicar regras de validade lógica para categorizar cada proposição.
1. ANHANGUERA – 2016.2
LÓGICA E MATEMÁTICA COMPUTACIONAL
EXERCÍCIOS 03 – TAUTOLOGIAS,
CONTRADIÇÕES E CONTINGÊNCIAS
Prof. Thomás da Costa
thomascosta@aedu.com
2. 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) → p
e) p ˅ ¬ q → (p → ¬ q)
f) p → ((p ˄ q) ↔ (p ˅ q))
g) p → (p ˅ q) ˅ r
Exercícios
Determinar quais das seguintes proposições são tautológicas,
contraválidas, ou contingentes:
TAUTOLOGIAS,
CONTRADIÇÕES E CONTINGÊNCIAS
3. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
a) ¬p ˄ (p ˄ q)
b) ¬p → q
c) p ˄ (p ˅ q)
d) (p ˄ q) ˅ p
e) p → (p ˅ q)
f) (q → p) ˅ p
g) (p ↔ q) ˄ (¬p ˄ q)
h) p ↔ ((p ˄ q) ˅ q )
i) p → ((p ˄ q) ↔ (p ˅ q))
j) p ˄ q → r
k) 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 !!!