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]) |
||
| (No se muestra una edición intermedia de otro usuario) | |||
| Línea 24: | Línea 24: | ||
:Si A entonces B | :Si A entonces B | ||
:Si B entonces C | :Si B entonces C | ||
:Por lo | :Por lo tanto, A entonces C | ||
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