Formalizaci Nlog1erorden

UNQ – Eje Lógica
Ejercicios extra correspondientes a la sección 8.3 de la unidad 2
Comisión18
Prof. Jorge N. Lucero
A) Subraye los cuantificadores.
B)Exprese los enunciados en lenguaje regimentado, remplazando los 

cuantificadores, las variables de individuo y las conectivas 
correspondientes.
C)Formalice los enunciados indicando debidamente el 
código/diccionario correspondiente.
1) Nadie es un político y no es ambicioso.
2)No se da el caso de que todas las personas ambiciosas no sean honestas.
3) Algunos de los autores más vendidos son ciegos.
4) Todo es dulce o amargo.
5) Elsa no recibió nada de parte de Carlos.
6) Vos te comiste todas las facturas.
7)Perro que ladra no muerde.
8) Eliana tiene un auto nuevo.
9) Lo que está en movimiento está en reposo.
10) En casa de herrero, cuchillo de palo.
11)Lo esencial es invisible a los ojos.
12) Casi todos los estudiantes aprobaron el examen.
13) Si Juan es dueño de un perro, entonces nunca se lo mostró a nadie.
14)Todo aquel que promete cualquier cosa debe cumplirla.
15) Alguien pidió prestada una bicicleta y la está usando.
16) Todos se enojan con aquel que hace ruido.
17)Los mamíferos son vivíparos, salvo el ornitorrinco y el equidna, que son 

ovíparos.
18) María recibió un regalo de parte de Juan, pero no recibió nada de parte de 

Pedro.
19)Ningún hombre es más inteligente que sí mismo.
20) Si Pedro tiene perros, los maltrata o no los alimenta.
21) Toda persona tiene dos progenitores.
22)María gusta sólo de los hombres.
23) Carlos no ama a nadie excepto a las personas que ama Beatriz.
24) Yo ayudo sólo a los que se ayudan a sí mismos.