Reglas de inferencia

De Filosofia de las Ciencias
Revisión del 18:45 28 mar 2012 de Filocien admin (discusión | contribuciones) (Protegió «Reglas de inferencia» ([edit=sysop] (indefinido) [move=sysop] (indefinido)) [en cascada])
(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)
Saltar a: navegación, buscar

Las reglas de inferencia son reglas que pertenecen a la sintaxis de la lógica. Son instrucciones para inferir formas proposicionales a partir de otras formas proposicionales. Algunas de las reglas de inferencia más conocidas son:

Modus Ponens

Si A entonces B
A
Por lo tanto, B

Modus Tollens

Si A entonces B
No B
Por lo tanto, no A

Conjunción

A
B
Por lo tanto, A y B

Silogismo Hipotético

Si A entonces B
Si B entonces C
Por lo tanto, A entonces C