Una Regla de inferencia es un esquema para construir inferencias validas osea conclusiones validas. Estas reglas permiten establecer relaciones sintacticas entre un conjunto de premisas y una aserción llamada conclusion.
Estas relaciones sintácticas son usadas en el proceso de inferencia, por el que se llega a nuevas aserciones verdaderas a partir de otras ya conocidas.
Algunas reglas de inferencia sencillas.
Modus ponendo ponens: El modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:
Si A, entonces B
A
Por lo tanto, B
Ejemplo:
Si son las 6 AM, entonces ya amanecio.
Son las 6 AM.
Por lo tanto, Ya amanecio
Modus ponendo tollens: El modus ponendo tollens (en latín, modo que afirmando niega) o MPT es una forma válida de argumento que dice:
O bien A, o bien B
A
Por lo tanto, no B
EJEMPLO:
O bien esta soleado, o bien esta lluvioso.
Esta soleado.
Por lo tanto, no esta lluvioso.
Modus tollendo ponens: El silogismo disyuntivo, históricamente conocido como modus tollendo ponens (en latín, modo que negando afirma) o MTP, es una forma válida de argumento:
es el caso que A, o es el caso que B
No A
Por lo tanto, B
EJEMPLO:
O bien esta soleado, o bien esta lluvioso.
No Esta soleado.
Por lo tanto, esta lluvioso.
Modus tollendo tollens: El modus tollendo tollens (en latín, modo que negando niega), también llamado modus tollens y generalmente abreviado MTT o MT, es una regla de inferencia que tiene la siguiente forma:
si A entonces B
No B
Por lo tanto, no A
EJEMPLO:
Si son las 6 AM, entonces amanecio.
No son las 6 AM.
Por lo tanto, no amanecio.
FUENTE: WIKIPEDIA
ARTCESS INFORMATICS 