Reglas de inferencia

A continuacion describiremos las reglas de inferencia mas comunes de la logica

Comenzemos por la mas basica

modus ponendo ponen

Proviene del latin y significa «modo que afirmando afirma», esta regla sigue la forma siguiente

• p=>q
• p         
• q

pero de esta forma no nos dice nada, demosle sentido a las letras, supongamos que «p» significa «como muchos dulces» y la letra «q» significa «tengo caries»

De acuerdo con modus ponen, tendriamos

• Si como muchos dulces entonces tengo caries
• como muchos dulces
• por lo tanto tengo caries

lo que nos expresa es que si tenemos una expresion como p=>q y se presenta el suceso p por lo tanto se produce q

modus tollendo tollens

Esta significa «modo que negando niega», posee la siguiente forma

• p=>q
• ¬q         
• ¬p

usando las sentencias anteriores tendriamos

• Si como muchos dulces entonces tengo caries
• no como muchos dulces
• por lo tanto no tengo caries

lo que nos indica que en una implicacion de p=>q cuando se produce la negacion del segundo termino(q) por logica se deduce que se niega el primer termino (p)

eliminacion de la conjuncion

esta regla nos establece que se el resultado de una conjuncion es veradera, lo son cada una de sus premisas

tomemos las sentencias siguientes:

• p = hago ejercicio
• q= soy fuerte

si tuvieramos la conjuncion p^q  seria:

hago ejercicio y soy fuerte

si esta conjuncion es verdadera por lo tanto se infiere que la sentencia «hago ejercicio» (p) es verdadera y tambien se infiera que la sentencia «soy fuerte» (q) es  veradera de igual forma.

Hay otras reglas mas, pero por el momento con estas seran suficientes