///
Esta questão foi aplicada no ano de 2018 pela banca CESPE / CEBRASPE no concurso para EMAP. A questão aborda conhecimentos da disciplina de Raciocínio Lógico e Quantitativo, especificamente sobre Tautologia, Contradição e Contingência Lógica.
Esta é uma questão de múltipla escolha com 2 alternativas. Teste seus conhecimentos e selecione a resposta correta.
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]↔[Q∨(~P)] é uma tautologia, isto é,
independentemente dos valores lógicos V ou F atribuídos a
P e Q, o valor lógico de S será sempre V.