Simulado Tribunal de Contas do Distrito Federal - TCDF | Cargo 8 - Analista de Administração Pública - Sistemas de TI | 2019 pre-edital | Questão 473

Raciocínio Lógico / Lógica sentencial (ou proposicional) / Proposições simples e compostas

Julgue os itens que se seguem, 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.

Fonte: ESPECIALISTA TéCNICO 1 – QUALIFICADOR: ANALISTA DE SISTEMA / Banco do Nordeste do Brasil S/A / 2018 / CESPE