-
Gabarito: Letra C
http://www.forumconcurseiros.com/forum/forum/disciplinas/racioc%C3%ADnio-l%C3%B3gico/64368-icms-2006
-
P(x)=V
Q(x)=V
[P(x)^Q(x)^R(x)]=[V^V^R(x)]=R(x)->S(x)=V
Pois no conectivo E (^) podemos dispensar as verdades se ainda houver algo indefinido, a parte indefinida definirá a validade, logo aquele bloco junto com o R(x) apenas está distraindo o concurseiro pois eles já estão definidos
[R(x)->S(x)]=V->T(X)
Para essa última preposição ser válida obrigatóriamente T(X) tem que ser verdadeiro, pois o elemento em colchetes é válido.
-
Se formos fazer as colunas de V e F , veremos que, P e Q são invariáveis, logo teremos 2^3 = 8 combinações
P V V V V V V V V
Q V V V V V V V V
R V V V V F F F F
S V V F F V V F F
T V F V F V F V F
1- em (R-> S) -> T:
devemos excluir os casos de (v)->f;
ou seja: (V->V)->F; (F->V)->F; (F->F)->F;
FICA:
P V V V V V V V V
Q V V V V V V V V
R V V V V F F F F
S V V F F V V F F
T V F V F V F V F
2- em( P^Q^R) -> S :
devemos excluir os casos de (v)->f:
ou seja : (V^V^V) -> F
FICA:
P V V V V V V V V
Q V V V V V V V V
R V V V V F F F F
S V V F F V V F F
T V F V F V F V F
excluindo as colunas condenadas:
FICA:
P V V V
Q V V V
R V F F
S V V F
T V V V
GAB : C
-
Eu encontrei a resposta correta (C) fazendo a tabela verdade e eliminando as linhas em que as proposições (R->S)->T e (P^Q^R)->S são falsa, na medida em que o enunciado afirma que são V.
-
Pessoal, existe uma regra de inferência chamada "eliminação da conjunção" que diz que se numa conjunção P^Q temos que P é verdadeiro, podemos simplificá-la escrevendo apenas Q. Logo, se na conjunção P^Q^R temos que P e Q são verdadeiros, então podemos escreve-la apenas R. Por fim, se a proposição R -> S (assim ficou reduzida a proposição 4) é verdadeira, temos que T também é.
-
entendi nada
# socorro
não sei como acertei se não entendi nada kkkkkkkk