Ejercicios_de_simbolización_con_soluciones


EJERCICIOS DE SIMBOLIZACIÓN CON SOLUCIONES

1) Traducir al lenguaje de la lógica de predicados (dar dominio y diccionario).

1-Ningún mamífero es vertebrado.
2-Algunos mamíferos no son vertebrados
3-No hay llaves que no sean útiles
4- José no quiere a nadie
5-Nadie quiere a Ana
6-Ninguna serpiente es venenosa
7-Ningún reptil es vertebrado
8-Algunos se quieren a sí mismos
9-Alguna llave esplateada
10-Algunas llaves no son plateadas
11-No es cierto que toda llave sea útil
12-Ninguna llave abre todas las puertas
13-Algunas puertas no son abiertas por ninguna llave
14-Algunos niños no aman a ningún adulto
15-Hay llaves que no abren todas las puertas
16-Ningún adulto es amado por todos
17-Algunos adultos no quieren a todos los niños
18-Quienes se quieren a sí mismos quieren a todos19-Ninguna puerta es abierta por todas las llaves
20-Algunas llaves no abren ninguna puerta
21-Hay puertas que no son abiertas por ninguna llave
22- Daniel se solidariza con sus colegas
23- Daniel no se solidariza con algunos de sus colegas
24- Daniel se solidariza con los maestros
25- Daniel se solidariza con sus maestros
26-No todos los gatos prefieren Whiskas pero algunos sí
27-Algunos gatos prefierenWhiskas aunque también prefieren Cat Chow
28-No todos los estudiantes sufragaron en las elecciones estudiantiles de noviembre de 2013
29-Ninguna agrupación fue votada por todos los estudiantes
30-Algunos niños maltratan a sus mascotas
31- No todas las personas son queridas por alguien
32-Si todos quieren a todos, entonces José es querido por alguien
33-Todos los periodistas son profesionales,pero no todos los profesionales son periodistas
34- Todos los vecinos saludan al verdulero del barrio
35- Todos los niños cuidan alguna planta pero algunos se olvidan de regarla
36- Todos los heridos fueron auxiliados por la asistencia pública aunque algunos no necesitaban ayuda.
37-No todos los niños tienen una libreta de ahorros.
38-Algunos hijos se preocupan por sus madres.
39-Todos los inscriptosasistieron a la conferencia inaugural pero ninguno prestó atención.
40-El ladrón de joyas no fue encontrado ni por la policía ni por ningún empleado.
41-El primer hombre en pisar la luna es el que todos recuerdan.








2) Dado el siguiente dominio y diccionario, traducir las fórmulas al lenguaje natural

1- Diccionario: Px: x es perro; Lx: x ladra; Mx: x muerde; Dominio: {animales}Forma lógica: ∀x((Px ∧ Lx) → ¬Mx)

2- Diccionario: Axy: x ama a y. Dominio: {personas}.
Forma lógica: ¬∀x∃yAxy ∧ ∃x∀yAxy

3- Diccionario: Nx: x es niño; Axy: x admira a y; Px: x es padre; Dominio: {personas}
Forma lógica: ∀x∀y((Nx ∧ Py) → Axy)

4- Diccionario: Cxy: x cree en y; Dominio: {personas}.
Forma lógica: ∀x∀y(Cxx → Cyx)

5- Diccionario: Px: x es polígono; Tx: x es triangulo; Lxy: x tienemás lados que y; Ixy: x tiene la misma cantidad de lados que y; Dominio {figuras geométricas}
Forma lógica: ∀x (Px → ∀y (Ty → (Lxy v Ixy))




































SOLUCIONES


1) Traducir al lenguaje de la lógica de predicados (dar dominio y diccionario).
(Nota: estas son solo algunas soluciones, debido el sistema de equivalencias puede haber varias soluciones más)

1-Ningún mamíferoes vertebrado.
Dominio: animales
Dicc:
Mx: x es mamífero
Vx: x es vertebrado ¬x(Mx  Vx) / x(Mx → ¬Vx)

2-Algunos mamíferos no son vertebrados
Dominio: animales
Dicc:
Mx: x es mamífero
Vx: x es vertebrado x(Mx  ¬Vx) / ¬x(Mx → Vx)

3-No hay llaves que no sean útiles
Dominio: cosas
Dicc:
Lx: x es llave
Ux: x es útil ¬x(Lx  ¬Ux) / x(Lx → Ux)4-José no quiere a nadie
Dominio: personas
Dicc:
j=José
Qxy: x quiere a y ¬y Qjy / y ¬Qjy

5-Nadie quiere a Ana
Dominio: personas
Dicc:
a=Ana
Qxy: x quiere a y ¬∃x Qxa / x ¬Qxa

6-Ninguna serpiente es venenosa
Dominio: animales
Dicc:
Sx: x es serpiente
Vx: x es venenosa ¬x(Sx  Vx) / x(Sx → ¬Vx)

7-Ningún reptil es vertebrado
Dominio: animales
Dicc:
Rx: x es reptil
Vx: x es...