Gente, haciendo ejercicios de lo que dice el título me surgió la duda de cómo resolver aquellos que tienen en la tesis una proposición que no aparece en las hipótesis. Ejemplo (ejercicio propuesto nro 2 de la guía):

\[b \wedge z\]
\[z \rightarrow c \wedge d \wedge j\]
\[c \wedge b \rightarrow q\]
--------------------
\[q \vee p\]

Muchas gracias!
Alan

Si mal no recuerdo tenes que demostrar q. Entonces como la tesis dice q o p, sería verdadera.

Tiene sentido, gracias!

o sea... llegas a demostrar q y despues haces una "insercion de disyuncion" (creo que se llamaba asi)

CREOOO que era algo asi

b y z
b (excluir conjuncion)
z (EC)
c y d y j (MP)
c (EC)
c y b (IC)
q (MP)
q o p (ID)

Era algo como eso

Claro, el tema es que pensaba que para insertar una disyunción había que llegar a las dos proposiciones, pero con demostrar q basta para agregar la disyunción con p.
Gracias por la ayuda!

claro... para insertar una conjuncion necesitas demostrar las dos partes... en tu caso, cuando se inserta B, como la tenes "demostrada" mas arriba, podes hacerlo... pero "de la nada" no podrias

Como dice Adriano cuando incluis una conjuncion tenes que haber demostrado ambas partes.

Lo contrario se con la disyuncion, a la hora de incluir disyuncion podes incluir todas las que quieras sin demostrarlas (porque con tener demostrada una ya alcanza para que sea verdad), en cambio a la hora de excluir la disyuncion tenes que ver que pasa con cada una para demostrar que a tu tesis se puede llegar sea cual sea de las dos la que es verdadera.

Pensalo desde las tablas de verdad y vas a ver que es puro sentido comun el tema este.