Ano: 2018·Banca: CESPE / CEBRASPE·Cargo: Conhecimentos Básicos - Cargos de Nível Superior·Concurso: EMAP

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.