Simulado Tribunal de Contas do Distrito Federal - TCDF | Auditor de Controle Externo | 2019 pre-edital | Questão 1152

Raciocínio Lógico / Lógica sentencial (ou proposicional) / Tabelas-verdade

As seguintes premissas referem-se a uma argumentação hipotética:

→ Se Paulo é inocente, então João ou Jair é culpado.

→ Se João é culpado, então Jair é inocente.

→ Se Jair é culpado, então, no depoimento de José e no de Maria,
todas as afirmações de José eram verdadeiras e todas as
afirmações de Maria eram falsas.


Com referência a essas premissas, julgue os próximos itens.

Se Jair é culpado, é correto inferir que João é inocente.

Fonte: AGENTE DE POLíCIA FEDERAL / Polícia Federal / 2014 / CESPE