Diferencia entre revisiones de «Reglas de inferencia»
Ir a la navegación
Ir a la búsqueda
Sin resumen de edición |
Sin resumen de edición |
||
| 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 del 12:24 13 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