TALLER 3 LOGICA MATEMATICA

1. Traduzca a forma tpica las siguientes proposiciones categricas, conservando el sentido

original
Nada es honesto y malicioso
Rta. Ninguno es honesto y malicioso
Existen soldados cobardes
Rta. Algunos soldados son cobardes
Un canguro no es un ovparo
Rta. Ningn canguro es ovparo
Se dan peras dulces
Rta. Algunas peras son dulces
Filsofo es Aristteles
Rta. Aristteles es Filsofos
Casi todos los testigos son comprados
Rta. Algunos testigos se dejan comprar
Es mortal si es humano
Rta. Algunas peras son dulces
La mayora de estudiantes fueron aprobados
Rta. Algunos estudiantes aprobaron
No todos los abogados son habladores
Rta. Algunos abogados son habladores
No hay jueces infalibles
Rta. Ningn juez es infalible
El antlope es un mamfero
Rta. Todo antlope es un mamfero
Bastantes bebedores son fumadores
Rta. Algunos bebedores son fumadores
Siempre que juego gano
Rta. Todas las veces que juego gano
Solo los marineros saben nadar
Rta. Todos los que saben nadar son marineros

Es necesario comprender para saber

Rta. Para saber hay que comprender

nicamente son ciudadanos los votantes
Rta. Todos los votantes son votantes
Son hermosas algunas ambateas
Rta. Algunas ambateas son hermosas
Es falso que todo filsofo sea sabio
Rta. Algunos filsofos no son sabios
Solo en algunos casos hay matadores osados
Rta. Algunos matadores son osados
Es mentira que no haya ciudades contaminadas
Rta. Algunas ciudades estn contaminadas

2.Representar en diagramas de Venn las proposiciones.

Ningn mentiroso es digno de crdito.

Algunos msicos han sido fsicos.