Uma proposição lógica pode ser classificada como tautologia, contradição ou contingência.
Analise as proposições a seguir.
I) !$ p ∨ ¬( p ∧ q) !$
II) !$ p \rightarrow (p ∨ q) !$
III) !$ ¬ p ∧ (p ∧ ¬ q) !$
IV) !$ (p ∨ ¬ q) \rightarrow (q ∧ ¬ p) !$
São tautologias APENAS as que se apresentam em
