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