Julgue o item que segue, a respeito de lógica proposicional....
Julgue o item que segue, a respeito de lógica proposicional.
Se P e Q forem proposições simples, então a proposição ¬[P∨(¬Q)]↔[(¬P)∧Q] é uma tautologia.
Julgue o item que segue, a respeito de lógica proposicional.
Se P e Q forem proposições simples, então a proposição ¬[P∨(¬Q)]↔[(¬P)∧Q] é uma tautologia.