Considerando as proposições P, Q e R e os símbolos lógicos: ...
os itens subsequentes.
¬ (negação);
(ou);
(e);
(se ..., então), é correto afirmar que a proposição ¬((¬P)
R)
(P
(¬Q)) é uma tautologia.
(ou);
(e);
(se ..., então), é correto afirmar que a proposição ¬((¬P)
R)
(P
(¬Q)) é uma tautologia.