Fórum da comunidade

Julgue o item seguinte, relativo à lógica proposicional e de argumentação. Se P e Q são proposições lógicas simples, então a proposição composta S = [P→Q] ↔ [Qv(~P)] é uma tautolog

Leia as dúvidas, dicas e respostas da comunidade. Para escrever ou responder, entre na sua conta.