Lógica Clásica

Unidad 2. Lógica clásica

Actividad 4. Proposiciones

• Formaliza los enunciados que dijo la Liebre de Marzo que no son iguales.

p: Me gusta cuanto tengo

q: Tengo cuanto me gusta

p˄q = Me gusta cuanto tengo y tengo cuanto me gusta

p˅q_ Me gusta cuanto tengo o tengo cuanto me gusta

p→q Si me gusta cuanto tengo, entonces tengo cuanto me gusta

p↔Me gusta cuanto tengo si y solo si tengo cuanto me gusta

¬p: No me gusta cuanto tengo

¬q: No tengo cuanto me gusta

• Extrae las proposiciones del siguiente texto.

• 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 lo perros muerden a algún cartero. Eso no lo se con certeza pero si 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.

p:Todos los perros muerden a algún cartero

x[P(x)  y(C(y)  M(x, y)]

q: Ningún cartero muerde por venganza a ningún perro

¬∃x[C (x) ˄ MV(x,p)

r:Hay un cartero al que muerden todos los perros

x[C(x)  y(P(y)  M(y, x)]

s: No existe un perro que muerda a todos los carteros

¬x[P(x)  y(C(y)  M(y, x)]

Ahora, traduce las proposiciones al español y forma un breve texto completándolo como el texto de arriba:

A(x,y): x es amigo de y

m: María

j: Juan

1.- A(m,j)  A (j,m)

María es amiga de Juan y Juan es amigo de María

2.- x(yA x,y) )  x=m

María y Juan son amigos

3.- xxA (x,y)Todas las Marías tienen un amigo Juan

4.- xyA (x,y)

Todas

...