Reglas de inferencia

De Filosofia de las Ciencias
Ir a la navegación Ir a la búsqueda
La versión para imprimir ya no se admite y puede contener errores de representación. Actualiza los marcadores del navegador y utiliza en su lugar la función de impresión predeterminada del navegador.

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
Obtenido de «https://www.filociencias.org/wiki/index.php?title=Reglas_de_inferencia&oldid=852»