ALGEBRA SUPERIOR I.

TAREA DR. FRANK PATRICK MURPHY HERNANDEZ.

Repaso de nociones lgicas bsicas.
Fecha de entrega: 21 de agosto del 2015
Ramos Trejo Luis Daniel
Ejercicio 1. Decir cuales de los siguientes enunciados son proposiciones. Argumenta tu respuesta.
1. Comenzamos!
No es proposicin ya que no puede tomar un valor de verdad
2. Maana sera un da nublado.
Si es proposicin por que puede tomar un valor de Falsedad o Validez
3. Muero porque no muero.
Si es proposicin, es una consecuencia, que tambin podra expresarse como una implicacin,
sea P=muero, P=>P, entonces como P es una proposicin P tambin lo sera, por tanto es una
proposicin.
4. Cuando estudiaras para el examen?
No es proposicin, es una pregunta y no puede tomar un valor de validez
5. Para tener xito, la planificacin sola es insuficiente. Uno debe improvisar tambin.
De la misma manera que en 3 podemos expresarla como una implicacin, en donde la oracin
esta valuando los valores de verdad, entonces, sea P=planificar, Q=improvisar, R=xito; por la
primera oracin P no es suficiente,por tanto necesitamos una conjuncin, por la segunda oracin esa
conjuncin esta compuesta por P, Q entonces podemos notar que la oracin esta compuesta de
proposiciones, por tanto, es una proposicin.
6. La afirmacin siguiente es falsa.
Si es proposicin ya que esta tomando un valor de validez.
7. La afirmacin anterior es verdadera.
Si es proposicin por que esta tomando un valor de validez.
8. El hombre mas irremediablemente estpido es aquel que ignora su sabidura.
Si es proposicin ya que se puede escribir como P=aquel que ignora su sabidura, Q= es el
hombre mas irremediablemente estpido; de donde P=>Q, que es una proposicin.
9. La suerte favorece solo a la mente preparada.
Si es proposicin, es una doble implicacin, sea P=mente preparada,Q=suerte; P<=>Q; lo
cual es una proposicin.
10. Una persona feliz no puede ser mejor.
Es proposicin por que es una implicacin y esta esta conformada por proposiciones, por tanto,
es una proposicin.
Ejercicio 2. Defnanse P=Es un da caluroso, Q=Mi primo esta escuchando musica y R=Voy
a salir a nadar. Escribe las siguientes proposiciones con palabras:
1. Q
Mi primo no esta escuchando musica.
2. P R
Es un da caluroso y voy a salir a nadar.
3. P R Es un da caluroso o no voy a salir a nadar.
4. (Q R)
Mi primo no esta escuchando musica o voy a salir a nadar.
5. Q (R Q) Mi primo esta escuchando musica y no voy a salir a nadar y mi primo no esta
escuchando musica.

LDRT

Ejercicio 3. Sea T una tautologa y C una contradiccin. Demuestra que para cualquier proposicin P:
1. T P es una tautologa.
Para que T P sea verdadero es necesario que al menos una proposicin sea verdadera, como
T siempre es verdadera; independientemente del valor que tome P, se cumplir la condicin.
Por lo tanto, si T es una tautologa, T P sera una tautologa.
2. P C es una contradiccin
para que P C sea verdadera ambas proposiciones deben ser verdaderas, como C siempre es
falso, sea P falso o verdadero, nunca suceder que ambas son verdaderas.
Por lo tanto, si Ces una contradiccin, P C sera una contradiccin.
Ejercicio 4. Sean P, Q y R proposiciones. Demuestra que las siguientes proposiciones son tautologas.
1. P Q Q P
Para que P Q y Q P sean verdaderas, es necesario que al menos una proposicin sea
cierta, supongamos que P es cierta, as P Q es verdadera, y de la misma manera al P ser valida
Q P, tambin es verdadera.
Por lo tanto es una tautologa
2. P (Q R) (P Q) R
Para que P (Q R) sea verdadera, al menos una proposicin (P, (Q R) ) de be ser
verdadera,
i)Supongamos P es verdadera, si esto sucede, entonces (Q R), de la misma manera al
ser P verdadera, (P Q) es verdadera, y al suceder esto, (P Q) R, es verdadero.
ii)Supongamos (Q R) es verdadera, para que esto suceda al menos una proposicin
debe ser verdadera
a) sea Q verdadera, entonces (Q R) es verdadera, haciendo as que
P (Q R) lo sea, a su vez, (P Q) es verdadera, haciendo que (P Q) R sea
verdadera.
b)sea R verdadera, entonces Q R sera verdadera, haciendo que P (Q R)
sea verdadera, de la misma manera, validara R haciendo que (P Q) R sea verdadera.
supongamos P,Q,R son falsas entonces (P Q) R sera falso, por tanto P (Q R) la
implicacin es verdadera.
Por lo tanto es una tautologa
3. P (Q R) (P Q) (P R)
Para que P (Q R) sea verdadera, ambas proposiciones deben ser ciertas, y para que esto
suceda al menos una proposicin de (Q R) debe ser verdadera.
i) sea Q verdadera, entonces (Q R) es verdadera, as P (Q R) sera verdadera, y al ser
P,Q verdaderas, P Q tambin lo es haciendo (P Q) (P R) verdadera.
ii) R es verdadera, entonces (Q R) sera verdadera y de la misma manera P (Q R) lo
sera tambin; al ser P,R, verdaderas (P R) lo sera tambin, y de esta manera (P Q) (P R)
sera verdadera.
supongamos P es falsa, entonces (P Q) sera falsa y (P R) tambin, haciendo as que
(P Q) (P R) sea falsa, por tanto P (Q R) es falsa.
Por lo tanto es una tautologa

LDRT

4. (P Q) P Q
Supongamos P,Q, son verdaderas, por tanto (P Q) sera verdadera y de esta manera (P
Q) sera falsa, por tanto la implicacin sera verdadera.
supongamos P,Q, son falsos, as P,Q, sern verdaderos, por tanto P Q sera
verdadero, de la misma manera P Q sera falso, y as (P Q) es verdadero cumpliendo la
implicacin.
Por lo tanto es una tautologa
5. (P Q) (P Q) (P Q)
supongamos que (P Q) (P Q) es verdadera, para que esto suceda (P Q) debe ser
verdadera y (P Q) tambin;para que (P Q) sea verdadera P debe ser verdadera y Q debe ser
falsa, pero si esto sucede, (P Q) sera falsa, por tanto (P Q) (P Q) sera falsa,lo que es
una contradiccin con lo que habamos supuesto.
Por tanto no es un tautologa.
Ejercicio 5. Para dos proposiciones P y Q definimos los conectivos | y mediante la tabla de verdad
mostrada en el cuadro 1.
P Q P Q P|Q
1 1 0

1 0 0

0 1 0

0 0 1
1
1. Escribe proposiciones lgicamente equivalentes a la negacin y a la conjuncin usando nicamente
el conectivo .
P QP^Q
DEMOSTRACION INFORMAL
P Q P Q P Q P^Q
1 1 0

1 0 0

0 1 1

0 0 1

2. Repite el inciso anterior usando nicamente el conectivo |.

P|Q(P^Q)
DEMOSTRACION INFORMAL
P Q P|Q (P^Q) P^Q
1 1 0

1 0 1

0 1 1

0 0 1

LDRT

Ejercicio 6. Sean P, Q, R y S proposiciones. Demuestra las siguientes reglas de inferencia.

1. (Modus Tollendo Ponens) P Q, Q; P
tenemos la proposicin P Q, y por definicin, para que esto sea verdadero, es necesario que
al menos uno de los 2 ncleos sean verdaderos, si se nos dice que tenemos una Q entonces para que P
Q sea verdadero, es necesario, que sea P.
2. (Modus Tollens) P Q, Q; P
siendo la implicacin, podemos ponerla en equivalencia lgica(vista en clase) P Q A B,
pero se nos dice que el valor de Q(B) es falso, por tanto, por definicin, para que A Q sea
verdadero,necesitamos que suceda (A); regresando a los trminos originales, P es necesario.
3. (Silogismo Hipottico) P Q, Q R; P R
siendo la proposicin P Q ^ Q R, supongamos que la valuacin de P es falsa, por tanto P
Q sera verdadera, entonces, Q sera verdadero, y de esta manera Q R, sera verdadero tambin,
donde podemos ver que la valuacin de P resulto ser tal que P R.
4. (Dilema Constructivo) P Q, R S, P R; Q S
para esta demostracin utilizaremos las equivalencias lgicas:
P Q A B
R S C D
Donde resulta una proposicin tal que:
(A B) ^ (C D )^ (A C)
como tenemos la misma jerarqua lgica
(A B) ^( C D) ^( A C)(A B) ^ (A C)^ (C D)
(A C)^[(A B) ^ (C D)]
Haremos la valuacin con A,C para que la proposicin sea verdadera,
OBS: tenemos disyunciones, de las cuales sabemos que es necesario que al menos una sea
verdadera para ser verdadera.
OBS:tenemos conjunciones, para las cuales es necesario que sean verdaderos ambas
proposiciones para ser verdadera.
i)sea A,C verdaderas, cumpliremos la primera disyuncin, para la segunda y tercera disyunciones,
respectivamente, necesitaremos que B,D sean verdaderas para que se cumplan las disyunciones y a su
ves las conjunciones.
ii)sea A verdadera y C falsa. En este caso cumpliremos la primera disyuncin pero de manera similar a
i, necesitaremos que B sea verdadera para poder hacer que toda la proposicin sea verdadera, en este
caso no es necesario que D sea verdadera ya que C lo es y cumple la disyuncin.
iii)sea C verdadera y A falsa. En este caso tambin se cumple la primera disyuncin, pero necesitamos
que D sea verdadera para cumplir con toda la validez de la proposicin; en este caso, no es necesario
que B sea verdadera ya que A lo es y cumple la disyuncin.
iiii)sean A,C falsas, en este caso no hay manera de hacer que la proposicin sea verdadera.
Por lo tanto si tenemos (A C) verdadera, necesitamos que (B D) lo sean tambin; en trminos
iniciales, sea (P R) verdadera, es necesario (Q S) lo sea tambin.

LDRT