Conjuntos

ACTIVIDAD 4 PROPOSICIONES
• Formaliza los enunciados que dijo la Liebre de Marzo que no son iguales.
“me gusta cuanto tengo”
que “tengo cuanto megusta” […]
La Liebre de Marzo en
Alicia en el País de las Maravillas
De Lewis Carrol
M. me gusta cuanto tengo
ML. tengo cuanto me gusta
M(x) ΛML(x) Me gusta cuanto tengo y Tengo cuanto me gusta

• Extrae las proposiciones del siguiente texto.

 Se dice que todos los perros muerden aalgún cartero.
 Ningún cartero muerde por venganza a ningún perro.
 Hay un cartero al que muerden todos los perros.
 No existe al menos en micalle, un perro que muerda a todos los carteros.

• Precisa las letras de los predicados, de las variables y de las constantes que te sean necesariaspara traducir la parte subrayada al lenguaje formal, como en el ejemplo de arriba sobre Romeo y Julieta:
R(x, y): x muerden a y

x: perros
y;carteros
x R(x,y)
¬ R(y,x) x R(y, x)
R(x, y)

Ahora, traduce las proposiciones al español y forma un breve texto completándolo como eltexto de arriba:
Todos los perros muerden a algún cartero, ningun cartero muerde a ningún perro. Hay un cartero al que muerden todos los perros y noexiste al menos en mi calle, un perro que muerda a todos los carteros.

A(x,y): x es amigo de y
m: María
j: Juan

1) María es amiga de Juan yJuan es amiga de María
2) Hay exactamente un individuo que posee la propiedad A
3) Para toda x existe una A
4) Todo x y todo y cumplen con A