Questão
ID 147099Disciplina: Raciocínio Lógico
Assuntos: Contingência, Contradição, Tautologia
Ano: 2014 Banca: COPEVE/UFAL - FUNDEPES Órgão: Universidade Federal de Alagoas
As fórmulas lógicas
(P ^ Q \(\to\) R) \(\leftrightarrow\) ( P \(\to\) (Q \(\to\) R)),
(x = 1 v x > 3) \(\leftrightarrow\) ~(x < 3 ^ x = 1),
~P \(\to\) Q ^ P,
são, respectivamente,