Actividades Unidad 1

Actividades de la Unidad 1
Introducción al Pensamiento Matemático

Grupo: MT-MIPM-2401-B1-006
Docente en linea: Ramiro Vázquez Vera
Este documento contiene las actividades de la Unidad 1 del curso Introducción al Pensameinto mate-
mático en el grupo MT-MIPM-2401-B1-006.
Actividad 1. Análisis de oraciones (Foro)
Instrucciones:
¡ Investiga las definiciones de los conceptos 1 y 2 listados.
¡ Argumenta, con base en estas definiciones investigadas, si el inciso 3 es verdadero o falso.
1. Proposición.
2. Proposiciones simples y compuestas
3. Las opiniones pueden ser consideradas como proposiciones.
Actividad 2. Operaciones proposicionales y lenguaje formal
Instrucciones:
¡ Resuelve los siguientes ejercicios basándote en definiciones formales y argumentando cada paso que
realizas.
¡ Tu documento lo debes estructurar como lo inidica el documento Criterios generales para la recepción
y evaluación de actividades (sección 2) y aportarlo en en formato pdf.
1
Notación: Se utilizará el símbolo de ! para representar un entonces, y el símbolo =) para representar
la conclusión final de la proposición.
1. Sean p y q proposiciones. Construya las tablas de verdad y compruebe las siguientes propiedades:
i. :(P ! Q) () (P ^ :Q):
ii. P () (:P ! (Q ^ :Q)):
2. Determine si para las proposiciones de los incisos impares, la proposición del inciso consecutivo par
representa la negación, en caso negativo, escriba correctamente la negación.
i. 4 es múltiplo de 8 y 4 es múltiplo de 12,
ii. 8 es múltiplo de 4 y 12 es múltiplo de 4.
iii. a b,
iv. a b.
3. Escriba la recíproca, la contrarrecíproca y la inversa de cada una de las siguientes implicaciones:
i. Si 4 es par entonces 1 > 0.
ii. 2 + 3 = 5 si 1 + 1 < 3.
4. Simboliza en lenguaje lógico formal los siguientes argumentos:
i. Si el alma es armonía del cuerpo, entonces el cuerpo muere, el alma no sobrevive. El cuerpo
muere. Pero si el cuerpo muere el alma sobrevive. Luego, el alma no es armonía del cuerpo.
ii. Si platón está en lo correcto, la verdad se puede alcanzar a travez del intelecto. Si Schopenhauer
tiene razón, entonces la verdad no se puede alcanzar a través de intelecto. Por lo tanto, si
Schopenhauer tiene razón, platón no está en lo correcto.
5. Determine si son falsas o verdaderas las siguientes proposiciones, expliqué los agrumentos que lo
llevaron a esa conclusión.
i. ( 2 > 9) $ ( > 3)
ii. Si 1 2, entonces 1 1.
Evidencia de aprendizaje. Conectivos lógicos, operacines proposicionales, tautologías y contradicciones
Instrucciones:
¡ Resuelve los siguientes ejercicios basándote en definiciones formales y argumentando cada paso que
realizas.
¡ Tu documento lo debes estructurar como lo inidica el documento Criterios generales para la recepción
y evaluación de actividades (sección 2) y aportarlo en formato pdf.
2
Notación: Se utilizará el símbolo de ! para representar un entonces, y el símbolo =) para representar
la conclusión final de la proposición.
1. Realiza una tabla de verdad para determinar si la siguiente proposición es una contradicción, tauto-
logía o ninguna de las dos: (P _ Q) $ (:P ! Q).
2. Para los siguientes enunciados defina un universo y expréselos usando cuantificadores. Después escriba
su negación formal (en positivo).
i. Todo entero par es el doble de algún entero.
ii. Hay un corredor en las olimpiadas que es más rápido que los demás corredores.
iii. Cada número es el cubo de otro número.
iv. Ninguna persona odia a todas las demás.
v. Si tienes dos números naturales, entonces tienes un tercero en medio de los dos.
3. Lee atentamente los siguientes textos y haz lo que se pide en cada uno de ellos.
i. Claudia le dice a Víctor que si no se casa con ella, entonces terminan su relación.
Una semana después Claudia se encuentra con una amiga y le cuenta que acaba de terminar
conVíctor. Su amiga le contesta: ½ah, entonces no quiso casarse contigo!
Extrae la estructura del argumento, exprésala en lenguaje lógico formal y determina si es
correcto concluir que Víctor no quiso casarse con Claudia.
ii. O la lógica es difícil o no le gusta a muchos estudiantes. Si las Matemáticas son fáciles, entonces
la lógica no es difícil. Por lo tanto, si a muchos estudiantes les gusta la lógica, entonces las
Matemáticas no son fáciles.
Reescribe en forma simbólica usando lenguaje lógico y después verifica la validez del argumento.
4. Aplica reglas de inferencia para deducir formalmente las conclusiones en cada uno de los siguientes
argumentos:
i. P ! (Q ! :R); Q; (Q ! R) =) :P
ii. (A _ B) ! C ; D ! (:C ^ :E); D _ F =) A ! F
5. En los siguientes incisos, define un universo, expresa con palabras coloquiales cada proposición y
niégalas formalmente (en positivo).
i. (8 > 0) (9 > 0) 8x (jx ¡ aj < ! jx2 ¡ bj < ).
ii. (9x 2 N) (8y 2 N) (x < y).
Referencias sugeridas
Kisbye P., Tiraboschi A. (2008). Elementos de lógicoa y teoría de conjuntos. Colombia.

D. Cunningham. (2012). A Logical Introduction to Proof. New York: Springer-Verlag New York.
D. J. Velleman. (2006). How to Prove It. A Structured Approach. United States: Cambridge University Press.
F. J. González Gutiérrez. (2004). Apuntes de Matemática Discreta. Cádiz: Universidad de Cádiz.

Actividades Unidad 1

Cargado por

Copyright:

Formatos disponibles

Actividades Unidad 1

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Actividades Unidad 1

Cargado por

Copyright:

Formatos disponibles

Actividades de la Unidad 1

Introducción al Pensamiento Matemático

Actividad 1. Análisis de oraciones (Foro)

¡ Investiga las deﬁniciones de los conceptos 1 y 2 listados.

¡ Argumenta, con base en estas deﬁniciones investigadas, si el inciso 3 es verdadero o falso.

2. Proposiciones simples y compuestas

3. Las opiniones pueden ser consideradas como proposiciones.

Actividad 2. Operaciones proposicionales y lenguaje formal

ii. P () (:P ! (Q ^ :Q)):

i. 4 es múltiplo de 8 y 4 es múltiplo de 12,

ii. 8 es múltiplo de 4 y 12 es múltiplo de 4.

3. Escriba la recíproca, la contrarrecíproca y la inversa de cada una de las siguientes implicaciones:

i. Si 4 es par entonces 1 > 0.

4. Simboliza en lenguaje lógico formal los siguientes argumentos:

Evidencia de aprendizaje. Conectivos lógicos, operacines proposicionales, tautologías y contradicciones

i. Todo entero par es el doble de algún entero.

iii. Cada número es el cubo de otro número.

iv. Ninguna persona odia a todas las demás.

ii. (A _ B) ! C ; D ! (:C ^ :E); D _ F =) A ! F

i. (8 > 0) (9 > 0) 8x (jx ¡ aj <  ! jx2 ¡ bj < ).

ii. (9x 2 N) (8y 2 N) (x < y).

Kisbye P., Tiraboschi A. (2008). Elementos de lógicoa y teoría de conjuntos. Colombia.

También podría gustarte

i. (8 > 0) (9 > 0) 8x (jx ¡ aj < ! jx2 ¡ bj < ).