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:
Acá pondría: MP, MT, Conj, SH