Reglas de la inferencia

1. MODUS PONENDO PONENS (PP)

La regla ponendo ponens significa, afirmando afirmo y en un
condicional establece, que si el primer trmino, en este caso p se
afirma, necesariamente se afirma el segundo trmino, en este caso q.
pq
p

Si llueve, entonces las calles se mojan

(premisa)
Llueve
(premisa)

__________________________________________________
q

Luego, las calles se mojan

2. MODUS TOLLENDO TOLLENS (TT)

Tollendo tollens significa negando, niego, y se refiere a una propiedad inversa de
los condicionales, a los que nos referamos en primer lugar.

pq
q

Si llueve, entonces las calles se mojan

Las calles no se mojan

__________________________________________________
p

Luego, no llueve

3. ADJUNCIN Y SIMPLIFICACIN
Adjuncin (A): Si disponemos de dos enunciados afirmados como dos premisas
separadas, mediante la adjuncin, podemos unirlos en una sola premisa utilizando el
operador (conjuncin).
p

Juan es cocinero

Pedro es polica
___________________________________

p q Juan es cocinero y Pedro es polica

4. LEY DE LA ADICIN (LA)

Dado un enunciado cualquiera, es posible expresarlo como una
eleccin (disyuncin) acompaado por cualquier otro enunciado.

He comprado manzanas

______________________________________________________________
aVb
comprado peras

He comprado manzanas o he

5. SILOGISMO HIPOTTICO (SH)

pq
Si la bola roja golpea a la bola blanca, la bola blanca
se mueve
qr
Si la bola blanca golpea a la bola negra, la bola negra
se mueve
______________________________________________________________
pr
se mueve

Si la bola roja golpea a la bola blanca, la bola negra

6. SILOGISMO DISYUNTIVO (DS)

pq

Si llueve, entonces las calles se mojan

r s

Si la tierra tiembla, los edificios se caen

pV r

Llueve o la tierra tiembla

____________________________________________________
qV s

Las calles se mojan o los edificios se caen

7. SIMPLIFICACIN DISYUNTIVA (SD)

pVq

Helado de fresa o helado de vainilla

pr

Si tomas helado de fresa, entonces repites

qr

Si tomas helado de vainilla, entonces repites

____________________________________________________
r

Luego, repites