Modus Ponens Modus Tollens

p →q p→q
p ¬q
∴q ∴¬ p

[(p → q) & p] → q [(p → q) & ¬ q] → ¬ p

V V V V V V V V V V F F V F
V F F F V V F V F F F V V F
F V V F F V V F V V F F V V
F V F F F V F F V F V V V V

Válido Válido
Silogismo Disyuntivo Silogismo Hipotético

pVq p→q
¬p q→r
∴q ∴p→r
Si se ha de lograr la igualdad de oportunidades, entonces a las personas
anteriormente en desventaja ahora se les deberían dar oportunidades especiales.
Si a las personas anteriormente en desventaja ahora se les deberían de dar
oportunidades especiales, entonces algunas personas reciben un trato
preferencial. Si algunas personas reciben un trato preferencial, entonces no se
logrará la igualdad de oportunidades. Por lo tanto, la igualdad de oportunidades
no se logra.

I→E
E→ P
P→¬I
∴¬I
II. Simbolice y compruebe la validez

Si la lluvia continúa, entonces el río crece. Si la lluvia continúa y el rio crece, entonces el
puente se inunda. Si la continuación de la lluvia ocasiona que el puente se inunda,
entonces un solo camino no es suficiente para el pueblo. O un solo camino es suficiente
para el pueblo o los urbanistas han cometido un error. Por lo tanto, los urbanistas han
cometido un error.

(C.-La lluvia continúa; R.-El rio crece; P.- El puente se inunda; S.-Un solo camino es
suficiente para el pueblo; U.-Los urbanistas han cometido un error.)