Francisco João Carlos Pereira de Souza

TABELA VERDADE
joaocarlostubas23@gmail.com

Jhoni Zini
 35. CEBRASPE (CESPE) - Assistente Portuário (EMAP)/Administrativa/2018

Julgue o seguinte item, relativo à lógica proposicional e à lógica de argumentação.

Se P e Q são proposições simples, então a proposição [P→Q]ΛP é uma tautologia, isto é, independentemente dos
valores lógicos V ou F atribuídos a P e Q, o valor lógico de [P→Q]ΛP será sempre V.

Francisco João Carlos Pereira de Souza

joaocarlostubas23@gmail.com

Jhoni Zini
 36. CEBRASPE (CESPE) - Agente de Polícia Federal/2018

As proposições P, Q e R a seguir referem-se a um ilícito penal envolvendo João, Carlos, Paulo e Maria:

P: “João e Carlos não são culpados”.

Q: “Paulo não é mentiroso”.
R: “Maria é inocente”.
Francisco João Carlos Pereira de Souza
joaocarlostubas23@gmail.com

Considerando que ~X representa a negação da proposição X, julgue o item a seguir.

Independentemente de quem seja culpado, a proposição {P→(¬Q)}→{Q∨[(¬Q)∨R]}será sempre verdadeira, isto é,

será uma tautologia.

Jhoni Zini
 37. CEBRASPE (CESPE) - Especialista Técnico (BNB)/Analista de Sistema/2018

Julgue o item que se segue, 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.

Francisco João Carlos Pereira de Souza

joaocarlostubas23@gmail.com

Jhoni Zini
 Obrigado
Francisco João Carlos Pereira de Souza
joaocarlostubas23@gmail.com

@jhonizini