Logica

EJERCICIO I
1 Las serpientes son reptiles
(x) [Sx  Rx] : Dado cualquier x, si x es serpiente entonces es reptil.

2. Las serpientes no son todas venenosas
( x) [Sx   Vx] : Existe al menos un x, tal que x es serpiente y x no es venenoso.

3. Los niños están presentes
(x) [Nx  Px]: Dado cualquier x, si x es niño entonces está presente.

4. Los ejecutivos todos tienen secretarias(x) [Ex  Sx] : Dado cualquier x, si x es ejecutivo, entonces tiene una secretaria.

5. Sólo los ejecutivos tienen secretaria
(x) [Sx  Ex] : Dado cualquier x, si x tiene una secretaria, entonces es ejecutivo.

6. Sólo los propietarios pueden votar las elecciones municipales especiales
(x) [Vx  Px]: Dado cualquier x, si x puede votar ..., entonces x es propietario.

7. Los empleados sólopodrán utilizar el ascensor de servicio.
(x) [Ux  Ax]: Dado cualquier x, si x es un empleado, entonces x puede utilizar un ascensor de servicio.

8. Sólo los empleados podrán utilizar el ascensor de servicio.
(x) [Ux  Ex]: Dado cualquier x, si x puede utilizar el ascensor de servicio, entonces x es un empleado

9. No todo lo que brilla es oro.
( x) [Bx   Ox]: Existe al menos un x, talque x brilla y x no es oro.

10. Nadie sino los valientes merecen la bella. (Sólo los valiente merecen la bella)
(x) [Dx  Bx]: Dado cualquier x, si x merece la bella, entonces x es valiente.

11. No todos los visitantes se quedaron a cenar ( Algunos visitantes no se quedaron a cenar)
( x) [Vx   Qx]: Existe al menos un x, tal que x es visitante y x se quedó a cenar

12. Ningúnvisitante se quedó a cenar.
(x) [Vx   Qx]: Dado cualquier x, si x es visitante, entonces x se no quedó a cenar.

13. Nada en la casa escapó a la destrucción
(x) [Cx   Ex]: Dado cualquier x, si x estaba en la casa, entonces x no escapó a la destrucción.

14. Algunos estudiantes son inteligentes y trabajadores.
( x) [Ex  Ix  Tx]: Existe al menos un x, tal que x es estudiante, x es inteligentey x es trabajador.

15. Ningún abrigo es impermeable a menos que halla sido especialmente tratado.
(x) [(Cx Wx)  Sx]: Dado cualquier x, si x es un abrigo y x es impermeable, entonces x ha sido
especialmente tratado.

16.Algunos medicamentos son peligrosos sólo si se toman en cantidades excesivas
( x) [Mx  (Ex  Px)]: Dado cualquier x, si x es medicamento, y si x se toma en cantidadesexcesivas, entonces es peligroso.

17. Todas las frutas y verduras son sanas y nutritivas
(x) [(Fx  Vx)  (Sx  Nx)]: Dado cualquier x, si x es fruta, o x es verdura, entonces x
es sana y x es nutritiva.

18. Cada cosa placentera es o inmoral, o ilegal, o engorda.
(x) [Px  ( Mx   Lx  Ex): Dado cualquier x, si x es placentera, entonces x es inmoral, o x es ilegal, o x engorda.

19.Un profesor es un buen conferencista si y sólo si está bien informado y es entretenido.
(x) {Px  [Cx  (Bx  Ex)]}

20. Sólo los policias y los bomberos son indispensables y mal pagados.
(x) [(Ix  Ux)  (Px  Fx): Dado cualquier x, si x es indispensable, y x es mal pagado, entonces x es policía,
o x es bombero.

21. No todo actor famoso tiene talento
( x) [Ax  Fx   Tx]: Existe almenos un x, tal que x es actor, x es famoso,y x no tiene talento.

22. Cualquier chica es atractiva si es bien arreglada y de buen gusto.

(x) [(Cx  Bx  Gx)  Ax]: Dado cualquier x, si x es chica, x es bien arreglada y x es de buen gusto, entonces es atractiva.

23. No es verdad que todo reloj da la hora correcta si y sólo si se le da cuerda con regularidad y no se lo maltrata.
( x){Rx   [Dx  (Cx.  Mx)]}

24. No toda persona que habla mucho tiene mucho que decir
( x) [Px  Hx  ~Tx]: Existe al menos un x, tal que x es una persona, x habla mucho y no tiene mucho para
decir.

25. Ningún automóvil que tenga más de diez años será reparado si está seriamente dañado.
(x) [(Ax  Ox  Dx)   Rx]: Dado cualquier x, si x es un automóvil, x tiene más de diez años y x está...