Questão 4 - (ANA - 2009 / ESAF) Determinado rio passa pelas cidades A, B e C. Se chove em A, o rio transborda. Se chove em B, o rio transborda e, se chove em C, o rio não transborda. Se o rio transbordou, pode-se afirmar que:

 a) choveu em A e choveu em B.
 b) não choveu em C.
c) choveu em A ou choveu em B.
d) choveu em C.
e) choveu em A.


Nessa questão temos que:

p: Chover em A
q: Chover em B
r: Chover em C
s: O rio transbordar 

Assim, vamos montar a expressão:

(p → s)^(q → s)^(r → ~s) 

Se o rio transbordou, temos que s é verdadeiro. Assim:

(p → V)^(q → V)^(r → F) 

Aqui, a única coisa que podemos concluir é que não choveu em C, pois assim, a expressão (r → F) seria falsa. Com relação a A e B, nada podemos afirmar, pois independente do valor lógico de p e q, as expressões (p → V) e (q → V) serão verdadeiras. Portanto a resposta é letra "b".


http://raciociniologico.50webs.com/ANA2009/ANA2009.html#Questão 04