Reglas de inferencia Matemtica Discreta

Modus Ponens: p q
P
q

Modus Tollens: p q
q

p


Ley del silogismo hipottico: p q
q r

p r


Regla de conjuncin: p
q

p q

Ley del silogismo disyuntivo: p q p q
p q

p



Ley de simplificacin conjuntiva: p q p q

p

Ley de amplificacin disyuntiva: p q

p q

p q


1