Pregunta: 2. Considere la transitividad del bicondicional: ((P ↔ Q) ᴧ (Q ↔ R)) → (P ↔ R). a. Demuestre que este argumento es válido derivando de él una tautología, como en la sección 2.1. Puedes usar equivalencias lógicas (p. 35), la definición de bicondicional y la transitividad de condicional: ((P → Q) ᴧ (Q → R)) → (P → R). b. Demuestre que este argumento es válido

2. Considere la transitividad del bicondicional: ((P ↔ Q) ᴧ (Q ↔ R)) → (P ↔ R).

a. Demuestre que este argumento es válido derivando de él una tautología, como en la sección 2.1. Puedes usar equivalencias lógicas (p. 35), la definición de bicondicional y la transitividad de condicional:

((P → Q) ᴧ (Q → R)) → (P → R).

b. Demuestre que este argumento es válido usando una tabla de verdad. Por favor circule las líneas críticas.

C. Escribe la premisa del argumento, ((P ↔ Q) ᴧ (Q ↔ R)), en forma normal disyuntiva.

d. Dibuje un diagrama de circuito de la premisa del argumento, ((P ↔ Q) ᴧ (Q ↔ R)), usando solo las puertas 'y', 'o' y 'no'.