Pensamiento matemático

Unidad 1: actividad 2

Activ idad 2. Conectiv os lógicos

I. Indica tu lenguaje y utiliza los conectiv os lógicos para simbolizar las

siguientes oraciones:

Romero no ama a Julieta

Romeo ama a Julieta y Julieta ama a Romeo

Julieta ama a Romeo si, y sólo si, Romeo ama a Julieta

Si Julieta no ama a Romeo, entonces Romeo no se casa

Romeo ama a Julieta o Julieta no ama a Romeo

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)

II. Extrae las proposiciones del siguiente texto y tradúcelo al lenguaje

formal utilizando los conectiv os 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:
Pensamiento matemático
Unidad 1: actividad 2
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

calle, un perro que muerda a todos los carteros.

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?

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

[A(m,j) ⋀ F(m)] → [F(j) ⋀ A(j,m)]

¿Cuál es la diferencia entre ambas oraciones?

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

UNADM | DCEIT | MAT | 00000 2

Pensamiento matemático
Unidad 1: actividad 2
{[A(m,j) ⋀ A(j,m)] ⋁ ∼F(m)} ↔ [F(j) ⋁ F(m)]

¿Cuál es la diferencia entre ambas oraciones?

UNADM | DCEIT | MAT | 00000 3