Etapa 1.

Demostracin por Contraposicin.

En lgica, la contraposicin de una declaracin condicional se forma negando
ambos trminos e invirtiendo la direccin de la inferencia. Explcitamente, la
contraposicin de la declaracin "si A, entonces B" es "si no es B, entonces no
A." Una declaracin y su contrapositiva son lgicamente equivalentes: si la
afirmacin es cierta, entonces su contrapositivo es cierto, y viceversa.
PQ entonces QP
Ejemplos.
1. Si x es par, entonces x es par. Su contraposicin sera: Si x no es par,
entonces x no es par
2. Est lloviendo, por lo tanto, te espero dentro del teatro. No te espero
dentro del teatro, por lo tanto, no est lloviendo.
3. Los extranjeros no votan.
Etapa 2.
A) Silogismo Hipottico.
En la lgica proposicional, el silogismo hipottico es una regla de
inferencia vlida (llamado tambin argumento cadena, regla de cadena,
o el principio de transitividad de la implicacin, y a veces abreviado SH).

Ejemplos:
1. Si no me despierto, entonces no voy a ir a trabajar. Si no voy a trabajar, entonces
no me pagan mi sueldo. Por lo tanto, si no me despierto, entonces no me van a
pagar mi sueldo.
2. Si t estudias lgica, conocers formas de deducir argumentos
vlidos. Si conoces formas de deducir argumentos vlidos, entonces
puedes aprender a plantear argumentos vlidos. Por lo tanto, si
estudias lgica, entonces puedes aprender a plantear argumentos
vlidos.
3. Si llueve durante la noche, al da siguiente har frio. Si al da
siguiente hace frio, entonces necesitaras usa ropa abrigadora. Por lo
tanto, si llueve durante la noche, entonces puede que necesites ropa
abrigadora maana.
B) Silogismo Disyuntivo
Establece que, si se nos dice que al menos una de las dos proposiciones
es verdadera; y tambin se nos dijo que no es la primera la que es
verdadera; se puede inferir que debe ser la ltima la que es verdadera.
Es decir, si P o Q es verdadero y P es falso, entonces Q es verdadero.

Ejemplos.
1. O el incumplimiento es una violacin de seguridad, o no est sujeto a
multas. El incumplimiento no es una violacin de seguridad. Por lo
tanto, no est sujeto a multas.
2. Yo o elegir sopa o elegir ensalada. No voy a elegir sopa. Por lo
tanto, voy a elegir ensalada.
3. Es de color rojo o azul. No es azul. Por lo tanto, es de color rojo.
Etapa 3.
A)
P: Jaime tiene un promedio ms alto
Q: Pablo tiene un promedio ms alto
R: Martha tiene un promedio ms bajo que Aura
S: Aura tiene un promedio ms alto
T: Lina tiene un promedio de mayor
La siguiente es la representacin lgica nicamente teniendo en cuenta las
proposiciones que tienen relacin entre s.
(P^q) (pq ) [(pt)v (tp)]
La tabla de verdad es:

Donde T es V, y F es falso.
 B)
P: Ximena se gan el computador
Q: Johan recibi la Tablet
R: Ricardo recibi la Tablet
S: Ximena recibi la Tablet
M: Carlos recibi la Tablet
[P (Q v R) ^ (S P)^( M R)] (P M)
La tabla de verdad es:
p q r s m [p(q V r) V (sp) V ( mr)](pm)

T T T T T F
T T T T F T
T T T F T F
T T T F F T
T T F T T F
T T F T F T
T T F F T F
T T F F F T
T F T T T F
T F T T F T
T F T F T F
T F T F F T
T F F T T F
T F F T F T
T F F F T F
T F F F F T
F T T T T T
F T T T F T
F T T F T T
F T T F F T
F T F T T T
F T F T F T
F T F F T T
F T F F F T
F F T T T T
F F T T F T
F F T F T T
F F T F F T
F F F T T T
F F F T F T
F F F F T T
F F F F F T