Proyecto 1 de Lógica y Teoría de Conjuntos

El objetivo de este proyecto es volver sobre las secciones 1.1 y 1.2 e incorporar a la
sección 1.3. Las actividades en clase y su trabajo me hacen reflexionar y capturar
malos entendidos para yo poder diseñar actividades extras como esta. En lugar de
examen quiero que realicen este proyecto. Uno de los objetivos de la clase es aprender
a argumentar claramente y por tanto usted tiene que escribir frases completas
explicando su razonamiento. Adelante!
1. Si P, Q, R,S y T son proposiciones.
a. ¿Necesitas los valores de verdad de Q y S para determinar el valor
de  Q  S  Q  S? o ¿basta con saber el valor de verdad de una
sola de las proposiciones?
b. ¿Es verdad que P  S  P  T  P  S  T es una tautología?
2. Demostrar que si se tiene A  B y que si A  C  B  D entonces
se tiene necesariamente C  D
3. Tres niños, José, Fernando y Arturo tomaron 13 dulces de guayaba de
una mesa. Al final José dijo que tomó 2 dulces más que Fernando; Fernando
dijo que tomó la mitad de dulces que José y 5 menos que Arturo; finalmente
Arturo dijo que tomó un número par de dulces. Si sabemos que a lo más uno
de ellos mintió ¿Quién fue el que mintió?
4. Escribir en términos lógico-simbólicos el siguiente razonamiento del
lenguaje ordinario: Sabemos que todos los hombres son mortales. Sabemos
que Sócrates es un hombre, entonces Sócrtes es mortal.
5. Utilizar cuantificadores universales y existenciales para escribir en
términos lógico-simbólicos las siguientes afirmaciones. Indicar también si son
verdaderas o falsas. Si prefiere cambie la redacción que presentamos.
a. Cada uno de los números racionales es un número real
b. Algunos números reales son racionales
c. Para todo número real x, existe un número real y tal que
x2  y  y2  x
d. Existe un número real y que para todo número real x se tiene que
x2  y  y2  x
e. Si un número no es par entonces 2 no divide a este número.
f. No existe un número natural que sea el mayor de todos
6. Determine si las siguientes dos afirmaciones son equivalentes. Asumir
que el universo del discurso son todos los números naturales.
a. xyzx  y  z 2  y
b. xyx  y  zz 2  y
7. Deducir y deducir inteligentemente! El corazón de la lógica! A
continuación tenemos el siguiente diálogo entre el Dr. Watson y Sherlock
Holmes
S.H. Que curioso mi estimado Dr. Watson, solo sabemos que los coeficientes de
ax 2  bx  c  0 son números enteros impares y nada más. El Profesor Hervas quiere
que con solo esta información los estudiantes de lógica deduzcan que las raíces de esta
ecuación cuadrática no pueden ser números racionales.
D.W. Jajajaja el Profesor debe estar actuando irracionalmente, verdad?
S.H No mi querido doctor Watson, de hecho es verdad. Me ha sorprendido,
suponte que ..............
D.W. Espera! espera! déjame resolverlo a mí por favor.
S.H. Adelante Watson, júntate a los chicos de Lógica
1. A continuación presentamos dos definiciones equivalentes de función
continua. Su trabajo es negar estas definiciones, es decir utilizar la definición
dada para decir cuando una función no es continua. Para facilitar su trabajo
formalice estas definiciones con los cuantificadores existenciales.
a. Def 1. Sea S   y f : S  . La función f es continua en el punto x 0
en domf si para toda sucesión x n  en domf que converge a x 0 , se
lim fx n   fx 0 .
tiene que n

b. Def 2. Sea S   y f : S  . La función f es continua en el punto

x 0 en domf si y solamente si para todo   0 existe un   0 tal que
si x  domf y |x  x 0 |   implica |fx  fx 0 |  .
2. Dar ejemplo en los cuales la definición 6a o 6b es más conveniente
3. Demostrar que las dos definiciones son equivalentes.