Con frecuencia se aprende un juego nuevo un por ejemplo.

Veamos algunos de inferencia antes de

proseguir con las leyes formales. Se supone que se tienen dos premisas, la frmula PQ y la frmula P.
Se sabe que estas premisas estn dadas; se empieza diciendo que se ha dado P y que se ha dado PQ.
Se puede sacar una conclusin de estas dos suposiciones? Es decir, se puede idear otra proposicin
que haya de ser cierta si las premisas sin ciertas? La conclusin es clara se se leen las premisas en la
forma:
Si P entonces Q y P.
La primera proposicin expresa que si se verifica P, entonces se verifica Q y la segunda verifica P. La
conclusin es que se verifica Q. La proposicin Q es consecuencia lgica de las premisas, P y PQ.
Veamos ahora una inferencia de la misma forma, pero cuyo contenido se ha suplido por lenguaje
corriente. La primera premisa es:
Si llueve, entonces el cielo ha de estar cubierto.
La segunda premisa es: Llueve.
Qu conclusin se puede sacar de las dos premisas?
La respuesta es la conclusin: El cielo ha de estar cubierto. Se puede inferir lgicamente de las premisas
dadas. Se discutir a continuacin la regla particular de inferencia que permite educir esta conclusin de
las premisas.
La regla de inferencia aplicada en el ejemplo precedente tiene un nombre latino, modus ponendo ponens.
Consideremos algunos ejemplos del uso de esta regla en la deduccin de conclusiones a partir de
premisas.
Premisa 1: Si l est en el partido de ftbol, entonces l est en el estadio.
Premisa 2: l est en el partido de ftbol.
Conclusin: Est en el estadio.
Simblicamente el primer ejemplo se expresa as:
P= l est en el partido de ftbol.
Q= l est en el estadio.
Entonces:
Premisa 1: PQ
Premisa 2: P
Conclusin: Q
Otro ejemplo del uso del modus ponendo ponens es el siguiente:
Premisa 1: Si no hace fro, entonces el lago no se congelar.
Premisa 2: No hace fro.
Conclusin: El lago no se congelar.
La regla de inferencia modus ponendo ponens permitedemostrar Q a partir de P y P.
Donde P es es la proposicin Hace fro y Q El lago se congelar.
PQ
P
Q
En cada uno de los ejemplos la regla modus ponendo ponens permite pasar de dos premisas a la
conclusin. Decir que la conclusin es consecuencia lgica de las premisas, es decir, que siempre que las
premisas son ciertas, la conclusin es tambin cierta. La regla de inferencia aprendida dice que si se
tienen dos proposiciones de la forma PQ y P se puede deducir la conclusin Q.
Recurdese que la regla se aplica a la forma de las proposiciones, o sea, que siempre que se d una
proposicin condicional y se d precisamente el antecedente de aquella condicional, se niegue
precisamente el consecuente. La misma regla se aplica tanto si el antecedente es una proposicin
atmica o molecular y tanto si el consecuente es una proposicin atmica o molecular. En la proposicin
anterior el antecedente el consecuente son proposiciones moleculares. La segunda premisa afirma el
antecedente que es, P. Por tanto, el consecuente sigue de la regla modus ponendo ponens