Question

2.- Determinar si las siguientes proposiciones son equivalentes:
1) P→ Q ≡ (¬P → Q)
2) (P ↔ Q) ≡ (P → Q) (Q → P)
3) P ∨ (QR) ≡ (P∨Q)(P∨R) ​

Answer 1

Respuesta:

Explicación:

Diremos que dos proposiciones P y Q son lógicamente equivalentes si es una tautología, es decir, si las tablas de verdad de P y Q son iguales.

Por ejemplo, la proposición (p∧q)←→ ¬(¬p∨¬q) es una tautología (comprobarlo construyendo la tabla de verdad). Contradicción: es una proposición compuesta en la que para cualquier combinación de valores de verdad de las proposiciones simples se obtiene como valor de verdad falso (F)