Question

Utilizando las reglas de inferencia, demostrar que “q” es una
conclusión válida para las siguientes ↔(s Λ q) (p)
• ¬[¬(s Λ q) V r] (p)

Answer 1

Explicación paso a paso:

Dada la siguiente expresión vamos a aplicar las leyes de inferencia para concluir si "q" es un razonamiento válido:

¬[¬(s Λ q) V r]-> q

la expresión podemos representarla como:

(s^q) v ¬r

Tenemos que:

(s Λ q)

(s^q) v ¬r

------------------

¬r

En este caso tenemos que el resultado por el modus tollento Ponens MTP, es ¬r por lo que NO, "q" no es una conclusión.