Reglas de inferencia
Ir a la navegación
Ir a la búsqueda
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