Diferencia entre revisiones de «Reglas de inferencia»
Ir a la navegación
Ir a la búsqueda
Sin resumen de edición |
m (Protegió «Reglas de inferencia» ([edit=sysop] (indefinido) [move=sysop] (indefinido)) [en cascada]) |
(Sin diferencias)
| |
Revisión actual - 18:45 28 mar 2012
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