Question

[(p=q)^(q=r)]=(p=r)
​

Answer 1

Respuesta:

Composición: ((p → q)∧(p → r)) ⊢ (p → (q∧r)), se lee “si p entonces q; y si p entonces r; por lo tanto si p es verdadero entonces q y r son verdaderos”. Teorema de De Morgan (1) ¬(p∧q) ⊢ (¬p∨¬q), se lee “la negación de (p y q) es equivalente a (no p o no q)”.