PRINCIPALES REGLAS DE INFERENCIA

R.1: MODUS PONENS R.7: REGLA DE LA SIMPLIFICACIÓN CONJUNTIVA

p p∧q
p→q
∴p
∴q

R.2: LEY DEL SILOGISMO R.8: REGLA DE AMPLIFICACIÓN DISYUNTIVA

p→q
p
q→r
∴p∨q
∴p→r

R.3: MODUS TOLLENS R.9: REGLA DE DEMOSTRACIÓN CONDICIONAL

p→q p∧q
~q p → (q → r)

∴ ~p ∴r

R.4: REGLA DE LA CONJUNCIÓN

R.10: REGLA DE DEMOSTRACIÓN POR CASOS
p
q p→r
q→r
∴p∧q
∴ (p ∨ q) → r

R.5: REGLA DEL SILOGISMO DISYUNTIVO R.11: REGLA DEL DILEMA CONSTRUCTIVO
p∨q p→q
~p r→s
p∨r
∴q
∴q∨s

R.6: REGLA DE LA CONTRADICCIÓN R.12: REGLA DEL DILEMA DESTRUCTIVO

p→q
~p → F r→s
~q ∨ ~s
∴p
∴ ~p ∨ ~r