Reglas de reemplazo y de inferencia

1. 1. P -> Q
   2. P
   ∴ Q

• Modus Ponens ( M. P. )

• Modus Tollens ( M. T. )

• Silogismo Disyuntivo (S. D.)

• Silogismo Hipotético
  (S. H.)

P -> Q
¬ Q
∴ ¬ P

• Modus Ponens

• Modus Tollens

• Silogismo Disyuntivo

• Silogismo Hipotético

P v Q
¬ P
∴ Q

• Modus Ponens

• Modus Tollens

• Silogismo Disyuntivo

• Silogismo Hipotético

P -> ( Q v R)
( Q v R ) -> S
∴ P -> S

• Exportación

• Dilema Constructivo

• Silogismo Disyuntivo

• Silogismo Hipotético

( P -> R ) ^ ( W -> Y )
P v W
∴ R v Y

• Conjunción

• Dilema Constructivo

• Adición

• Dilema Destructivo

( P -> R ) ^ ( W -> Y )
¬ R v ¬ Y
∴ P v W

• Conjunción

• Dilema Constructivo

• Adición

• Dilema Destructivo

( P -> Q )
∴ ( P -> Q ) v H

• Absorción

• Transposición

• Adición

• Conjunción

P -> Q
∴ ¬ Q -> ¬ P

• Conmutación

• Transposición

• Simplificación

• Conjunción

¬¬¬¬P
∴ ¬¬P

• Conmutación

• Doble Negación

• Transposición

• Alberti

( T ^ Y ) -> R
∴ ¬ ( T ^ Y ) v R

• Conjunción

• Transposición

• Doble Negación

• Implicación Material