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

I, IV e V

I- Lei de Morgan;

IV- Lei de Morgan;

V- Comutativo.