Questão 3. Sabe-se que: (i) p ∨ q ⇒ r (ii) r ∨ (~s) ⇒ t ∧ u (iii) t é falso A partir destas premissas, responda: (a) O que pode ser concluído ...

(a) Não é possível concluir nada sobre o valor lógico de p, pois a partir das premissas não há informações suficientes para determinar se p é verdadeiro ou falso. (b) Não é possível concluir nada sobre o valor lógico de q, pois a partir das premissas não há informações suficientes para determinar se q é verdadeiro ou falso. (c) A partir da premissa (i), pode-se concluir que se p ou q é verdadeiro, então r também é verdadeiro. Como t é falso, a premissa (ii) implica que r não pode ser verdadeiro, pois caso contrário, t seria verdadeiro. Portanto, pode-se concluir que r é falso. (d) Não é possível concluir nada sobre o valor lógico de s, pois a partir das premissas não há informações suficientes para determinar se s é verdadeiro ou falso. (e) A partir da premissa (iii), pode-se concluir que t é falso. (f) Não é possível concluir nada sobre o valor lógico de u, pois a partir das premissas não há informações suficientes para determinar se u é verdadeiro ou falso.