Demostración de un Argumento usando las reglas de la inferencia

p→ (pvq)

• Ley de la adición (LA)

• Modus Ponendo ponens (PP)

• Modus Tollendo ponens (TP)

• Modo de transporte de cargas (TT)

(¬p∧ ¬q) → ¬q

• Ley de morgan (DM)

• Ley de la adjunción (A)

• Ley de la adición (LA)

• Ley de la simplificación (S)

[(p)^(q)] → (p^q)

• Modo Tollendo Tollens (TT)

• Ley de la adjunción (A)

• simplificación (S)

• Modus Ponendo Ponens (PP)

[(r → s) ^ ¬s] → ¬r

• Modo Tollendo Tollens (MTT)

• Modus Ponendo Ponens (PP)

• Modus tollendo ponens (MTP)

• Doble negación (DN)

¬(¬s) → S

• Ley de la adición (LA)

• Ley de morgan (DM)

• Doble negación

• Ley de la adjunción (A)

[(~p → q) ^ (q → ~ r] → (~p → ~ r)

• Doble negación (DN)

• Simplificación Disyuntiva (SD)

• Silogismo Disyuntivo(DS)

• silogismo hipotético (SH)

[(pv q)^ (p → r) (q → s)] → (r vs)

• Silogismo Disyuntivo(DS)

• Simplificación Disyuntiva (SD)

• silogismo hipotético

• Ley de morgan (DM)

[(pv q)∧ (p → r) ^ (q → r)] → (r)

• Simplificación Disyuntiva (SD)

• silogismo hipotético

• Silogismo Disyuntivo (DS)

• Doble negación

[(p → r) ^ (p)] → r

• Modus tollendo ponens (MTP)

• Modus ponendo ponens (MPP)

• Doble negación (DN)

• Modo de transporte de cargas (MTT)

[(pv q)∧ (~q)] → p

• Modus ponendo ponens (MPP)

• Modo de transporte de cargas (MTT)

• Modus tollendo ponens (MTP)

• Doble negación (DN)