Resumen de las reglas de inferencia

Elaborador por: Nicole Andrea Garzón Becerra

Modus Tollendo Ponens: (Su abreviatura es TP)
El nombre dice algo de la regla ya que menciona que negando (tollendo) un miembro de
una disjuncion se afirma (ponens) el otro miembro.
Simbólicamente la premisa se afirma de la siguiente manera como lo menciona el libro:

Esta regla remarca el tema de la disjuncion, para tener más claro este término se define
de la siguiente manera: Una disjuncion lógica significa que por lo menos una de los dos
proposiciones es cierta y quizás ambas.
El conocimiento de esta regla y sus anteriores nos lleva a conocer la deducción
proposicional.
Deducción Formal o Proposicional:
Una deducción formal es una serie de proposiciones o pasos, en la cual cada paso o es
una premisa o está deducido directamente de los pasos que le preceden por medio de
una determinada regla.
Esto quiere decir que se puede demostrar que los razonamientos son válidos. Un
razonamiento es simple mente un conjunto de proposiciones como premisas y una
conclusión deducida de estas premisas. Cuando decimos que es válido entendemos que
la conclusión es consecuencia lógica de las premisas.
A continuación se mostrara un ejemplo:

Si la ballena es un mamífero entonces toma oxígeno del aire. Si toma su oxígeno del aire, entonces no necesita
branquias. La ballena es un mamífero y vive en el océano. Por tanto, no necesita branquias.
Y de manera simbólica se expresa de la siguiente manera:
Más sobre paréntesis:
Los paréntesis indican el agrupamiento en proposiciones moleculares, en las que distintas
agrupaciones pueden dar lugar a distintos significados.

Como por ejemplo los que vienen de la siguiente manera

(A & B) V C
No tiene el mismo significado que una simbolizada de esta forma:

A & (B V C).
Ley de adición: (Su abreviatura es LA)
La ley de adición muestra que cuando una proposición es cierta entonces la disjuncion de
aquella proposición y otra cualquiera ha de ser también cierta.

Ejemplo:

Este libro es azul, entonces se sabe que la proposición siguiente ha de ser cierta. O este libro es azul o es rojo.

Se puede también concluir:

O este libro es azul o es viejo o

O este libro es azul o es nuevo,

Simbólicamente se puede decir de la siguiente manera:

Si se tiene la proposición P, se puede concluir P V Q, o P V R, o S V P, o T V P

Ley del silogismo hipotético: (Su abreviatura es HS)
Para aplicar esta regla se siguen estos tres pasos:
1. se hace una inspección general para comprobar que se tienen las dos condicionales requeridas

2. se comprueba cuidadosamente que el antecedente de v una de las condicionales coincida con el

consecuente de la otra

3. se forma como conclusión una condicional cuyo antecedente es el otro antecedente de una de
las premisas y cuyo consecuente es el consecuente de la otra premisa.

Ejemplo:

Ley del silogismo disyuntivo: (Su abreviatura es DS)

Para esta regla así mismo como la anterior, se tienen 3 pasos para analizarla y
solucionarla:
1. se hace una inspección general para comprobar que se tienen las dos condicionales y la
disjunción requeridas.

2. se comprueba cuidadosamente que los dos antecedentes de las dos condicionales son
precisamente los dos miembros de la disjunción

3. se forma como conclusión una disjunción cuyos miembros son precisamente los dos
consecuentes de las dos condicionales.

Ejemplo:

O llueve o el campo está seco

Si llueve, entonces juguemos dentro.

Si el campo está seco, entonces juguemos baloncesto

De manera simbólica se demuestra de la siguiente manera:

Ley de simplificación disyuntiva:

Se demuestra cuando alguien tiene una opinión que recalca lo que demuestra que esa
sería la conclusión como por ejemplo:

Si alguien dice «El equipo de los "Gigantes" ganará o el equipo de los "Gigantes" ganará», se puede concluir que opina
simplemente que «El equipo de los "Gigantes" ganará»
De manera simbólica se representa de la siguiente manera:

G V G por tanto G.
Leyes conmutativas: (Su abreviatura es CL)
Esta ley no tiene un significado tan marcado debido a su facilidad como lo podremos notar
en este ejemplo:

Es fácil ya que el orden de la proposición atómica no afecta el significado de la

proposición molecular.
Las leyes de Morgan:
En el lenguaje corriente ocurre a veces que hay proposiciones enunciadas de manera distinta que
tienen el mismo significado.

Por ejemplo

1) No llueve y no hace sol,

se puede también expresar, en forma algo forzada, diciendo:

(2) No ocurre que llueva o que haga sol

Si (1) y (2) significan lo mismo en el lenguaje corriente, entonces en Lógica será válido concluir (1)
de (2) o (2) de (1), lo que expresado en símbolos es:

Así (b) dice que si no se tiene o P o Q, entonces no se tiene P y no se tiene Q. La regla que permite
esta conclusión es una de las denominadas leyes de Morgan.