- Leyes de inferencia
-
Leyes de inferencia
Alguna reglas de inferencia clásicas, muy utilizadas en matematicas para la demostración de Teoremas, se detallan a continuación:
Ley de separación (modus ponens): Si p y p → q son ambos verdaderos, se infiere que q tambien lo es.
En simbolos:
p, p → q entonces, q
Ley del modus Tolens: si p → q es verdadero y q es falsa, infiere que p es falsa, ya que si la proposición p fuera verdadera, la proposición compuesta p → q sería falsa.En simbolos:
p → q, -q entonces, -p
Ley del Silogismo hipotetico: si p → q y q → r son ambos verdaderos, entonces p → r
En simbolos:
p → q, q → r entonces, p → r
Categorías: Wikipedia:Fusionar | Reglas de inferencia
Wikimedia foundation. 2010.