Tarea

LÓGICA SIMBÓLICA-ESCUEL|A DE MATEMÁTICAS-UJED-TAREA 6
Simbolice:
1. Las serpientes son reptiles.
2. Las serpientes no son todas venenosas.
3. Los niños están presentes.
4. Los ejecutivos todos tienen secretarias.
5. Sólo los ejecutivos tienen secretarias.
6. No todos los visitantes se quedaron a cenar.
7. Ningún visitante se quedó a cenar.
8. Ningún abrigo esimpermeable a menos que haya sido especialmente tratado.
9. Algunos medicamentos son peligrosos sólo si se toman en cantidades excesivas.
10. Todas las frutas y verduras son sanas y nutritivas.
11. No todo actor famoso tiene talento.
12. No toda persona que habla mucho tiene mucho que decir.
13. Ningún automóvil que tenga más de diez años será reparado si está seriamente dañado.14. Algunos caballos son dóciles y están bien entrenados.
15. Los caballos dóciles están bien entrenados.

Construir demostraciones formales de validez para los argumentos siguientes:
1. Un comunista es un tonto o un bribón. Los tontos son ingenuos. No todos los comunistas son ingenuos. Luego, algunos comunistas son bribones.
2. Todos los mayordomos y los camareros sonobsequiosos y dignos. Luego, todos los mayordomos son dignos.
3. Todas las casas de ladrillo son calientes y acogedoras. Todas las casas de Englewood son de ladrillo. Luego todas las casas de Englewood son calientes.
4. Todos los profesores son instruidos. Todos los profesores instruidos son sabios. Luego, todos los profesores son sabios instruidos.
5. Todos los diplomáticos son estadistas.Algunos diplomáticos son elocuentes. Todos los estadistas elocuentes son oradores. Luego, algunos diplomáticos son oradores.
6. Los doctores y los abogados son egresados de la Universidad. Todo altruista es un idealista. Algunos abogados no son idealistas. Algunos doctores son altruistas. Luego, algunos egresados de la Universidad son idealistas.
7. Las abejas y las avispas pican siestán o enojadas o asustadas. Luego cualquier abeja pica si está enojada.
8. Todos los miembros son oficiales y caballerosos. Todos los oficiales son combatientes. Sólo un pacifista es un caballero o no es combatiente. Ningún pacifista es caballero si es combatiente. Algunos miembros son combatientes si y sólo si son oficiales. Luego no todos los miembros son combatientes.

Demostrarque cada uno de los argumentos siguientes es inválido:
1. Todos los astronautas son valientes. Jaime es valiente. Luego, Jaime es un astronauta.
2. Ningún vaquero es un novato. Bill no es un novato. Luego, Bill es un vaquero.
3. Todos los paganos son idólatras. Ningún pagano es alegre. Luego ningún idólatra es alegre.
4. No hay gatitos grandes. Algunos mamíferos son grandes.Luego los gatitos no son mamíferos.
5. Todos los novelistas son observadores. Algunos poetas no son observadores. Por lo tanto, ningún novelista es poeta.
6. Todos los hombres de estado son inteligentes. Algunos políticos son inteligentes. No todos los políticos son inteligentes. Luego ningún estadista es político.
7. Todos los estadistas son inteligentes. Algunos políticos soninteligentes. No todos los políticos son inteligentes. Luego, todos los estadistas son políticos.
8. Todos los hombres de estado son políticos. Algunos hombres de estado son inteligentes. Algunos políticos no son hombres de estado. Luego, algunos políticos no son inteligentes.
9. Los caballos y las vacas son mamíferos. Algunos animales son mamíferos. Algunos animales no son mamíferos.Luego, todos los caballos son animales.

Simbolice:
1. Si algo se descompone, alguien será culpado.
2. Si algo se daña, el inquilino tendrá que pagarlo.
3. Si nada se descompone, nadie será culpado.
4. Si algo se daña, pero no se culpa a nadie, el inquilino no tendrá que pagar.
5. Si cualesquier plátanos están amarillos, entonces están maduros.
6. Si hay plátanos...