(CESPE/BNB/2018) Julgue o item que se segue, a respeito de lógica proposicional. Se P e Q forem proposições simples, então a proposição ¬[P∨(¬Q)][...
(CESPE/BNB/2018) Julgue o item que se 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.
A proposição ¬[P∨(¬Q)][(¬P)∧Q] é uma tautologia e, portanto, a afirmação é verdadeira. A equivalência pode ser demonstrada por meio de tabelas verdade.
0
0
Faça como milhares de estudantes: teste grátis o Passei Direto
Compartilhar