3. Reglas de inferencia

Recurso propio

Las reglas básicas de inferencia nos deben bastar para la resolución de cualquier derivación, por complejo que sea. Éstas consisten en las reglas de introducción y de eliminación de las conectivas.

Las reglas de razonamiento obtenidas a partir de las reglas básicas se denominan reglas derivadas. Existen tantas reglas derivadas como fórmulas puedan establecerse a partir de las anteriores. Aquí destacaremos algunas de las más empleadas en los procesos de razonamiento lógico. Éstas permiten en numerosas ocasiones la simplificación de los procesos deductivos, evitando el desarrollo de largas cadenas de inferencias.