Mipm - U1 - A2 - V1 - Secm

Universidad Abierta y a Distancia de México
Licenciatura en Matemáticas
Primer semestre
Programa de la asignatura:
Introducción al Pensamiento Matemático
Unidad 1. Lógica Proposicional
Actividad de aprendizaje (2 Tarea)

Conectivos Lógicos
Presenta:
Sebastian Camargo Martinez
Introducción
Con el estudio de la Lógica se persigue llegar a ser preciso y cuidadoso. La Lógica

tiene un lenguaje exacto. Pero, aunque así sea, vamos a intentar construir un vocabulario
para este lenguaje preciso utilizando el lenguaje cuotidiano algunas veces un tanto
confuso. Es necesario redactar un conjunto de reglas que sean perfectamente claras y
definidas y que estén libres de las vaguedades que pueden hallarse en nuestro lenguaje
corriente. Para realizar este trabajo se utilizarán proposiciones en lengua castellana, de la
misma manera que se usa la lengua castellana para explicar las reglas precisas de un
juego a alguien que no ha jugado a ese juego. Por supuesto, la lógica es algo más que un
juego. Puede ayudarnos a aprender una forma de razonar que es exacta y a la vez muy
útil [1].
Las palabras de enlace, por cortas que sean, no deben subestimarse, pues son de
gran importancia. Tanto es así, que se estudiarán algunas reglas muy precisas para el
uso de esta clase de términos. Gran parte de lo que se tratará en el estudio de la Lógica
se refiere a la manera cuidadosa de cómo se han de utilizar estos términos de enlace. El
término de enlace en la proposición del ejemplo «Hoy es sábado y no hay clase» es la
palabra «y». Hay otros, pero antes de considerar cada uno de ellos separadamente, les
daremos el nombre lógico correcto. Se les denominará términos de enlace de
proposiciones. Este nombre será fácil de recordar, porque indica efectivamente cuál es el
papel que desempeñan. Enlazan proposiciones. Forman proposiciones moleculares a
partir de proposiciones atómicas [1]
I. Indica tu lenguaje y utiliza los conectivos lógicos para simbolizar las siguientes
oraciones:
1. Romero no ama a Julieta

2. Romeo ama a Julieta y Julieta ama a Romeo
3. Julieta ama a Romeo si, y sólo si, Romeo ama a Julieta
4. Si Julieta no ama a Romeo, entonces Romeo no se casa
5. Romeo ama a Julieta o Julieta no ama a Romeo
6. Si Julieta ama a Romeo, entonces, él se casa con ella. Pero si Julieta no ama a
Romero, entonces él no se casa con ella, sí, y sólo si ella se lo dice (que no lo
ama)
Solución:
Sea:
F(x,y): x ama a y
G(x): x se casa
H(x,y): x se casa con y
r: Romeo
j: Julieta
1. ~F(r,j)
2. F(r,j) ^ F(j,r)
3. F(j,r) ↔ F(r,j)
4. ~F(j,r) → ~G(r)
5. F(r,j) v ~F(j,r)
6. [ F(j,r) → H(r,j)], [{~F(j,r) → ~H(r,j)} ↔ ~F(j,r)]
II. Extrae las proposiciones del siguiente texto y tradúcelo al lenguaje formal
utilizando los conectivos lógicos
Precisa las letras de los predicados, de las variables y de las constantes que te sean
necesarias para traducir la parte subrayada al lenguaje formal, como en el ejemplo de
arriba sobre Romeo y Julieta:
• Se dice que todos los perros muerden a algún cartero. Eso no lo sé con certeza.
Pero sí puedo decir que ningún cartero muerde, por venganza, a ningún perro. Y
también puedo decir, porque lo conozco, que hay un cartero al que muerden todos
los perros… al menos todos los perros de mi cuadra. Pero no existe, al
menos en mi calle, un perro que muerda a todos los carteros
Solución:
Sea:
H(x): todo x en la cuadra
G(x,y): x muerde a y
p: perro
c: cartero
• G(H(x),c), ~G(p,H(c))
III. Contesta lo que se te pide.
• A(x,y): x es amigo de y
• F(x): x es feliz
• m: María
• j: Juan
a)
• A(m,j) → F(m)
• A(m,j) → F(j)
¿Cuál es la diferencia entre ambas oraciones?
• María es amiga de juan, entonces María es feliz.

• María es amiga de Juan, entonces Juan es feliz
La diferencia es que en la primera oración se dice explícitamente que María es feliz si

María es amiga de Juan, en la segunda se expresa que Juan es el feliz bajo la misma
situación.
b)
• {[A(m,j) ⋀ F(m)] → F(j)} ⋀ A(j,m)

• [A(m,j) ⋀ F(m)] → [F(j) ⋀ A(j,m)]
• María es amiga de Juan y María es feliz, entonces, Juan es feliz. Y Juan es amigo
de María.
• María es amiga de Juan y María es feliz, entonces, Juan es feliz y amigo de María.
En la primera oración, que María sea amiga de Juan y que sea feliz provoca que Juan sea
feliz, independientemente de que sea amigo de María. En la segunda debe sucede que
María sea amiga de Juan y que sea feliz para que Juan sea feliz y sea amigo de María.
c)
• A(m,j) ⋀ {[A(j,m) ⋁ ∼F(m)] ↔ [F(j) ⋁ F(m)]}

• {[A(m,j) ⋀ A(j,m)] ⋁ ∼F(m)} ↔ [F(j) ⋁ F(m)]
• Si María es amiga de Juan y si Juan es amigo de María o María no es feliz. Si y

solo si Juan o María es feliz.
• Si María es amiga de Juan y Juan es amigo de María o si María no es feliz. Si y
solo si Juan o María es feliz.
En la primera situación debe suceder que María sea amiga de Juan y que ya sea que
Juan sea amigo de María o que María no sea feliz para que Juan o María sea feliz. En la
segunda situación debe suceder que María sea amiga de Juan y que Juan sea amigo de
María, luego, o que María no sea feliz para que sí y solo si Juan o María sea feliz.
Conclusiones
En la presente actividad se identificaron y emplearon los diferentes conectores

lógicos, además se resolvieron diversos ejercicios sobre lógica proposicional.
Referencias
[1] Suppes, P.; Hill, S. (1988). Primer curso de lógica matemática. Colombia: editorial
Reverte.

Mipm - U1 - A2 - V1 - Secm

Cargado por

Copyright:

Formatos disponibles

Mipm - U1 - A2 - V1 - Secm

Cargado por

Información del documento

Descripción original:

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

Mipm - U1 - A2 - V1 - Secm

Cargado por

Copyright:

Formatos disponibles

Universidad Abierta y a Distancia de México

Unidad 1. Lógica Proposicional

Actividad de aprendizaje (2 Tarea)

Con el estudio de la Lógica se persigue llegar a ser preciso y cuidadoso. La Lógica

1. Romero no ama a Julieta

H(x): todo x en la cuadra

¿Cuál es la diferencia entre ambas oraciones?

• María es amiga de juan, entonces María es feliz.

La diferencia es que en la primera oración se dice explícitamente que María es feliz si

• {[A(m,j) ⋀ F(m)] → F(j)} ⋀ A(j,m)

¿Cuál es la diferencia entre ambas oraciones?

• A(m,j) ⋀ {[A(j,m) ⋁ ∼F(m)] ↔ [F(j) ⋁ F(m)]}

• Si María es amiga de Juan y si Juan es amigo de María o María no es feliz. Si y

En la presente actividad se identificaron y emplearon los diferentes conectores

También podría gustarte