Raciocinio Lógico e Matematica para concursos - CESPE.UNB - Fabricio Mariano - 2013

Considere também que P, Q, R e T representem as sentenças listadas na tabela a seguir.
P
Q
R
T
Fumar deve ser proibido.
Fumar deve ser encorajado.
Fumar não faz bem à saúde.
Muitos europeus fumam.
Com base nas informações acima, e considerando a notação introduzida no texto, julgue
as questões seguintes.
8. (Cespe – UnB – PF – Agente – 2004) A sentença I pode ser corretamente
representada por P (¬ T).
9. (Cespe – UnB – PF – Agente – 2004) A sentença II pode ser corretamente
representada por (¬ P) (¬ R).
10. (Cespe – UnB – PF – Agente – 2004) A sentença III pode ser corretamente
representada por R P.
11. (Cespe – UnB – PF – Agente – 2004) A sentença IV pode ser corretamente
representada por (R (¬ T)) P.
12. (Cespe – UnB – PF – Agente – 2004) A sentença V pode ser corretamente
representada por T ((¬ R) (¬ P)).
Texto I para questões 13 e 14
Uma sentença que possa ser julgada como verdadeira — V — ou falsa — F — é
denominada proposição. Para facilitar o processo dedutivo, as proposições são
frequentemente simbolizadas. Considere como proposições básicas as proposições
simbolizadas por letras maiúsculas do alfabeto, tais como, A, B, P, Q etc. Proposições
compostas são formadas usando-se símbolos lógicos. São proposições compostas
expressões da forma P Q que têm valor lógico V somente quando P e Q são V, caso
contrário, valem F, e são lidas como “P e Q”; expressões da forma P Q têm valor lógico
F somente quando P e Q são F, caso contrário, valem V, e são lidas como “P ou Q”;
expressões da forma P→Q têm valor lógico F somente quando P é V e Q é F, caso
contrário, valem V, e são lidas como “se P então Q”. Expressões da forma ¬P
simbolizam a negação de P, e são F quando P é V, e é V quando P é F.
13. (Cespe – UnB – TRT-1 a Região – 2008) Com base nas informações do texto I, é
CORRETO afirmar que, para todos os possíveis valores lógicos, V ou F, que podem ser
atribuídos a P e a Q, uma proposição simbolizada por ¬ [P (¬ Q)] possui os mesmos
valores lógicos que a proposição simbolizada por:
a) (¬P) Q;
b) (¬Q) P;