Conceptualización de las reglas de inferencia

1. Lógica inferencial

1.1. Inferencia es la acción y efecto de inferir (deducir algo, sacar una consecuencia de otra cosa, conducir a un resultado). La inferencia surge a partir de una evaluación mental entre distintas expresiones que, al ser relacionadas como abstracciones, permiten trazar una implicación lógica.

2. razonamientos lógicos

2.1. El razonamiento lógico se puede iniciar a partir de una observación (es decir, una experiencia) o de una hipótesis. El proceso mental de análisis puede desarrollarse de distintas maneras y convertirse en un razonamiento inductivo, un razonamiento deductivo, etc. Según la clase de razonamiento empleada, la conclusión tendrá mayor o menor posibilidad de resultar válida.

3. Inferencia lógica

3.1. Una inferencia lógica es el proceso de obtención de una proposición a partir de otra u otras proposiciones dadas, a las cuales se aplican reglas de inferencia, de tal manera que la conclusión sea consecuencia lógica de las premisas. “Una inferencia es válida si, y solo si la conjunción de las premisas implica la conclusión. Una inferencia es concluyente o correcta si se realiza de acuerdo con una regla de inferencia válida.

4. LEYES DE INFERENCIA

4.1. MODUS PONENDO PONENS (PP)

4.2. MODUS TOLLENDO TELLENS (TT)

4.3. DOBLE NEGACION (DN)

4.4. ADJUNCION Y SIMPLIFICACION

4.5. MODUS TOLLENDO PONENS (TP)

4.6. LEY DE LA ADICION (LA

4.7. SILOGISMO HIPOTÈTICO (SH)

4.8. SILOGISMO DISYUNTIVO (DS)

4.9. LEY CONMUTATIVA