Question

Demostrar por el método directo el teorema de cada uno de los siguientes incisos [q → (p ∧ s)] ∧ [s' → r] ⇒ [(s' ∧ p' ∨ s') → (r ∧ q')]

Answer 1

Respuesta:

Necesito ser el mejor comentario

Explicación paso a paso:

El método de deducción natural, desarrollado por Gentzen, utiliza dos reglas ... Ejemplo 1 ([p ∧q) ⇒p∧(q∨r)]. Ejemplo 2 ([p→q,q→r) ... Ejemplo 3 ([p→q∨r,q→r,r→s) ⇒p→s].