Vamos analisar cada fórmula: (a) ¬(p ∨ q) ∨ ¬q: Esta fórmula não é uma tautologia nem uma contradição. (b) p ∨ (p → q): Esta fórmula não é uma tautologia nem uma contradição. (c) (p → q) → (¬q → ¬p): Esta fórmula é uma tautologia. (d) p ∧ ¬(¬q ∨ p): Esta fórmula não é uma tautologia nem uma contradição. (e) p → (q → p): Esta fórmula é uma tautologia. (f) ¬(p → p): Esta fórmula é uma contradição. (g) p → (¬p → q): Esta fórmula é uma tautologia. Portanto, as tautologias são: (c), (e) e (g). A contradição é: (f).
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar