Questões de Concurso Público TRE-RJ 2017 para Analista Judiciário - Análise de Sistemas

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 V q é falsa.

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

IV. Se ~p é verdadeira e p V 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 V [q Λ (~q)]⇔ p.

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

Estão INCORRETAS apenas as afirmativas