Comentários / TRE-RJ (Tribunal Regional Eleitoral do Rio de Janeiro) - Analista Judiciário - Análise de Sistemas - CONSULPLAN (Consulplan) - 2017

Questão:

De acordo com algumas implicações lógicas, analise as afirmativas a seguir.

I. Se p é verdadeira e q é verdadeira, então p ∧ q é verdadeira.

II. Se p é verdadeira ou q é verdadeira, então p ∨ q é falsa.

III. Se p é verdadeira e p ⟶ q é verdadeira, então q é verdadeira.

IV. Se ~p é verdadeira e p ∨ q é verdadeira, então q é verdadeira.

V. Se ~q é verdadeira e p ⟶ q é verdadeira, então ~p é verdadeira.

VI. Se p V q é verdadeira, p ⟶ r é verdadeira e q ⟶ r é verdadeira, então r é verdadeira.

VII. p ∨ [q ∧ (~q)] ⇔ p.

VIII. p⟶ q ⇔(~p) ∨ p.

Estão INCORRETAS apenas as afirmativas

a) I e II.

b) II e VIII.

c) I, II, VI e VIII.

d) III, IV, V e VI.