Logica

[pic]Ejercicios

I) Simbolizar

1. Todo es perfecto.

Para todo [pic] es perfecto

([pic])(P[pic])

2. Haymarcianos.

Existe un [pic] tal que [pic] es marciano.

([pic][pic])(M[pic])

3. Alguien no es perfecto

Existe un [pic], talque [pic] no es perfecto

([pic][pic])(- P[pic])

4. No hay cosas solidas.

Existe un [pic], tal que [pic] es una cosa, entonces [pic] noes solida.

([pic][pic])(C[pic][pic]S[pic])

([pic][pic])[- ( C[pic][pic]S[pic])]

([pic][pic])[- ( C[pic][pic]- S[pic])]5. Si todo es rojo, hay algo rojo.

Para todo [pic], [pic] es rojo.

([pic])(R[pic])

II) Simbolizar

1. Hay patos blancos.Existe un [pic], tal que [pic] es pato entonces [pic] es blanco.

([pic][pic])(P[pic][pic]B[pic])

2. Existen animales carnívoros.Existe un [pic], tal que [pic] es animal, y [pic] es carnívoro.

([pic][pic])(A[pic][pic]C[pic])

3. Hay cetáceos que son peces.Existe un [pic], tal que [pic] es cetáceo, entonces [pic] es pez.

([pic][pic])(C[pic][pic]P[pic])

III) Simbolizar utilizando el cuantificador existencial.1. Todo cetáceo es un pez.

Para todo [pic], si [pic] es cetáceo, entonces [pic] es pez.

([pic]) ( C[pic] [pic] P[pic]) = - ([pic][pic])[-( C[pic][pic]P[pic])]

- ([pic][pic])[ ( C[pic][pic]P[pic])]

2. Todos aprobamos el curso y disfrutamos las...