Question

Considere as seguintes bicondicionais:
 
I.    (~p∧q) ↔ [~(p∨~q)];
II.   (p→q) ↔ (q→p);
III.  (p∧q) ↔ p;
IV.  [~(p∧~q)] ↔(~p∨q);
V.   (p∧q)↔(q∧p).
 
As bicondicionais que estão relacionadas às equivalências lógicas são as apresentadas em

Answer 1

Oi!

Para responder essa questão, devemos ficar atentos ao fato de que

--> Na proposição I, onde temos

(~p∧q) ↔ [~(p∨~q)]

podemos dizer que existem os conectores de negação, conjunção, bicondicional e disjunção

Na propisição II

(p→q) ↔ (q→p);

Condicional e bicondicional

Em III.  (p∧q) ↔ p

conjunção e bicondicional

Em IV.  

[~(p∧~q)] ↔(~p∨q)

negação, conjunção, bicondicional

NA proposição V.

  (p∧q)↔(q∧p)

conjunção e bicondicional

A resposta será que as bicondicionais que estão relacionadas às equivalências lógicas são as apresentadas em I, IV e V  de acordo com a Lei de Morgan;  a Lei de Morgan e Comutativo, respectivamente.

Answer 2

Resposta:

isso mesmo

Explicação passo-a-passo: