Resolução:
Vamos nomear as proposições simples da seguinte forma:
p: Durmo.
q: Bebo.
r: Estou furioso.
Assim, as condicionais do enunciado são escritas como:
1. Se não durmo, bebo: ~p -> q
2. Se estou furioso, durmo: r -> p
3. Se durmo, não estou furioso: p -> ~r
4. Se não estou furioso, não bebo: ~r -> ~q
Comecemos pela análise de 3. A proposição p -> ~r equivale a r ->
~p. Agora, combinando este resultado com 2, temos: r -> p e r ->
~p. Ora, como a partir de r posso concluir tanto p quanto ~p, isso
significa que r é falso, isto é, v(r) = F.
Sendo v(r) = F, na
proposição 4 temos que V -> ~q, pois v(~r) = V. Ora, se o antecedente
é verdadeiro então, para a proposição ser verdadeira, o consequente tem
que ser verdadeira, isto é, v(~q) = V, o que resulta v(q) = F.
A
proposição em 1 equivale a ~q -> p. Mas sendo v(q) = F, temos que V
-> p, pois v(~q) = V. Por raciocínio análogo, concluímos que v(p) =
V.
Em, resumo, p é verdadeiro, q é falso e r é falso, ou seja:
Durmo, não bebo e não estou furioso.
Se não durmo, como. Se estou furioso, durmo. Se durmo, não estou furioso. Se não estou furioso, não como. Logo,
Resolução:
p1. ~d --> c
p2. f --> d
p3. d --> ~f
p4. ~f --> ~c
Dica:
a) procure os "parzinhos". Se não encontrar, utilize a contrapositiva de forma que os termos iguais em pares fiquem transversais. Observe que os termos “d” de p2 e p3, e “~f” de p3 e p4 já estão nessa ordem, de maneira transversais; isso já facilitou bastante;
b) use a contra recíproca em p1 pra “~c” ficar transversal com p4: p1. ~c --> d;
c) Agora, com os pares juntinhos - nem precisa ficar juntinhos. Só didática - em vez de utilizar o processo corta/corta, utilize o processo vale/vale:
p2. f --> d
p3. d --> ~f
p4. ~f --> ~c
p1. ~c --> d (desloquei p1 pra depois de p4 pra melhor visualização dos termos "~c")
Considere os termos repetidos e transversais como "Verdade". Assim temos: 2 (d), 2 (~f) e 2 (~c), ou seja, durmo, não furioso e não como.
Obs.: os termos que ficaram "solteiros", um "f" de p2 e um "d" de p1, são desconsiderados.
Resposta: letra "C"; Durmo, não estou furioso e não como.