CUARENTA EJERCICIOS EN LÓGICA DE PREDICADOS
Proof Checker

Adaptación del libro Ejercicios de Lógica de Eulalia Pérez Sedeño
RINOCERONTE SELVA FOTOGRAFO ENAMORADO
BAILARIN MEXICANO NOBEL APASIONADO
POLITICO CERDOS ARGENTINO HELENO
ATLETA CABALLO MULA PAJAROS
EJECUTIVOS AMANTES MACHISTAS NIÑOS
PSICOLOGÍA LOGICA ALCOHOL POETAS
PINTORES DETECTIVES MENTIROSOS CUADRUPEDO
NIÑOS ISOTOPO GENIOS INSEGURO
MENDIGOS MANSIONES LIBERTAD PROFESOR
FICCIÓN GORILAS SPENCER FAMOSO

Lógica de Predicados
































































































































































































RINOCERONTE
Simbolización,Formalización,Derivación

Todos los Rinocerontes tienen un cuerno; todos los Plantígrados son rinocerontes;así pues, todos los Plantígrados tienen un cuerno.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































SELVA TROPICAL
Simbolización,Formalización,Derivación

Todas las selvas tropicales tienen color esmeralda.Nada que sea esmeralda está reseco. Por consiguiente, ninguna selva tropical está reseca.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































FOTOGRAFO
Simbolización,Formalización,Derivación

Ningún fotógrafo pinta. Todos los que no son fotógrafos son escultores. Por lo tanto, todos los pintores son escultores.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































ENAMORADO
Simbolización,Formalización,Derivación

Ningún enamorado suspira. Todos los deprimidos suspiran. En consecuencia, nadie que esté deprimido está enamorado.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































BAILARÍN
Simbolización,Formalización,Derivación

Todos los bailarines de claqué son saltarines. Nadie que sea saltarín pesa mucho. Por lo tanto, ningún bailarín de claqué pesa mucho.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































MEXICANO
Simbolización,Formalización,Derivación

Ningún Mexicano canta rancheras.Nadie que cante rancheras es aburrido. Por lo tanto, ningún Mexicano es aburrido.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































NOBEL
Simbolización,Formalización,Derivación

Ningún idiota resulta entretenido.Ningún premiado con el "Nobel" habla ininterrumpidamente.Todos los que no resultan entretenidos hablan ininterrumpidamente. En conclusión, ningún idiota es premiado con el "Nobel".

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































APASIONADO
Simbolización,Formalización,Derivación

Todo aquel que ama apasionadamente es desgraciado. Quien oculta su desgracia muere prematuramente. Por lo tanto, si todos los que son desgraciados ocultan su desgracia, todos los que aman apasionadamente mueren de forma prematura

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































POLITICO
Simbolización,Formalización,Derivación

Algunos políticos son graciosos;todos los políticos son adultos. Por lo tanto, algunos adultos son graciosos

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































CERDOS VOLADORES
Simbolización,Formalización,Derivación

Todos los cerdos tienen alas; algunos cerezos no tienen alas. Por consiguiente, hay cerezos que no son cerdos.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































ARGENTINOS
Simbolización,Formalización,Derivación

Ningún argentino es conductista; todos los psicoanalistas son argentinos. Por lo tanto, ningún psicoanalista es conductista

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































HELENOS
Simbolización,Formalización,Derivación

Ningún heleno es temerario; todos los troyanos son temerarios;todos los aqueos son helenos. Por lo tanto, ningún aqueo es troyano.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































ATLETAS
Simbolización,Formalización,Derivación

Ningún feo despierta pasiones; todos los atletas despiertan pasiones. Por lo tanto, ningún atleta es feo.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































CABALLOS VOLADORES
Simbolización,Formalización,Derivación

Ningún caballo sabe silbar; ningún cerdo tiene alas; todos los que no saben silbar tienen alas. Por consiguiente, ningún caballo es cerdo.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































MULAS
Simbolización,Formalización,Derivación

Si todas las mulas son híbridos y ningún híbrido es fértil, entonces ninguna mula es fértil.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































PAJAROS
Simbolización,Formalización,Derivación

Ningún pájaro es un anfibio; todo el que no es anfibio no es un pez. Por lo tanto, ningún pájaro es un pez.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































EJECUTIVOS
Simbolización,Formalización,Derivación

Cualquier ejecutivo acaba cansado; nadie que acabe cansado es feliz. Por lo tanto, ningún ejecutivo es feliz

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































AMANTES
Simbolización,Formalización,Derivación

Quien ama apasionadamente acaba siendo desgraciado; quienes no pueden ocultar su pasión mueren prematuramente. Por lo tanto, si todos aquellos que acaban siendo desgraciados no pueden ocultar su pasión, entonces, todos aquellos que amen de forman apasionada mueren prematuramente.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































MACHISTAS
Simbolización,Formalización,Derivación

Ningún machista usa lápiz labial; todo aquel que no usa lápiz labial resulta aburrido. Por lo tanto, todos los machistas resultan aburridos.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































NIÑOS ADORABLES
Simbolización,Formalización,Derivación

Todos los niños son traviesos. Todos los seres traviesos son adorables. Gillermo es un niño. Por lo tanto, Gillermo es adorable.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































PARAPSICÓLOGOS
Simbolización,Formalización,Derivación

Todos los Parapsicólogos carecen de intrucción lógica.Todos los que carecen de instrucción lógica cometen errores. Por lo tanto, todos los Parapsicólogos cometen errores.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































EXTRATERRESTRES Y LEYES LÓGICAS
Simbolización,Formalización,Derivación

Ningún individuo que siga estrictamente las leyes de la lógica tiene corazón. Todos los extraterrestres siguen estrictamente las leyes de la lógica. Por tanto, los extraterrestres carecen de corazón.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































ALCOHÓLICOS
Simbolización,Formalización,Derivación

Todos los alcohólicos son unos borrachos. Todos los que sufren delirium tremens sufren alucinaciones. Por consiguiente, si todos los borrachos sufren delirium tremens , entonces, todos los alcohólicos sufren alucinaciones.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































EJECUTIVOS Y POETAS
Simbolización,Formalización,Derivación

Todo ejecutivo que sea poeta es un hombre imaginativo. Todo hombre imaginativo es amante del riesgo. Si todo amante del riesgo no es poeta, entonces, ningún poeta es amante del riesgo. Por consiguiente, si todo hombre imaginativo no es poeta, entonces, ningún ejecutivo es poeta.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































PINTORES
Simbolización,Formalización,Derivación

Todo sujeto sensible admira la pintura; Juán es sujeto sensible. Por lo tanto, Juan admira la pintura

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































DETECTIVES
Simbolización,Formalización,Derivación

Todos los detectives americanos pueden desentrañar asesinatos. Cualquier detective que desentrañe un asesinato obtendrá una recompensa. Spencer es un detective americano. Por lo tanto, Spencer obtendrá una recompensa.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































MENTIRAS
Simbolización,Formalización,Derivación

Algunos hombres son inteligentes. Ninguna mujer miente. Por lo tanto, algunos hombres que mienten son inteligentes

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































CUADRÚPEDOS
Simbolización,Formalización,Derivación

Ningún Cuadrúpedo reina en Europa. Algunos mamíferos son cuadrúpedos. Por lo tanto, hay mamíferos que no reinan en Europa.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































AMOR A LOS NIÑOS
Simbolización,Formalización,Derivación

Todo el que ama a los hombres, ama tambien a los niños. Por lo tanto, el que no ama a los niños tampoco ama a los hombres.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































ISOTOPOS DE URANIO
Simbolización,Formalización,Derivación

Las substancias radioactivas tienen vida corta o un valor medicinal. Ningún Isótopo de Uranio que sea radioactivo tiene una vida corta. Por lo tanto, si todos los isótopos de uranio son radioactivos, entonces, todos los isótopos de uranio tienen un valor medicinal.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































GENIOS DE LA MUSICA
Simbolización,Formalización,Derivación

Todos los grandes compositores son genios. Todos los genios son temperamentales. Por lo tanto, todos los grandes compositores son temperamenteales.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































PERSONAS INSEGURAS
Simbolización,Formalización,Derivación

Ninguna persona insegura tiene gusto por la Psicología. A todo estudioso de la conducta le gusta la Psicología. Por lo tanto, ningun estudioso de la conducta es persona insegura.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































MENDIGOS Y BANQUEROS
Simbolización,Formalización,Derivación

Todos los banqueros amasan su fortuna siendo generosos. Algunos mendigos no es cierto que hayan amasado su fortuna siendo generosos. Por lo tanto, ningún mendigo es banquero.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































MANSIONES LUJOSAS
Simbolización,Formalización,Derivación

Algunas mansiones no tiene más de 10 baños. Todas las mansiones son construcciones lujosas. Por consiguiente, algunas construcciones lujosas no tienen más de 10 baños.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































LIBERTAD Y LOS SERBIOS
Simbolización,Formalización,Derivación

Todo hombre bien nacido valora la libertad. La libertad no es un valor permanente. Algunos Serbios no valoran la libertad. Por lo tanto, algunos Serbios o no son hombres o no son bien nacidos.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































PROFESORES Y ESTUDIANTES
Simbolización,Formalización,Derivación

En general los estudiantes aceptan a sus profesores. Algunos profesores están chiflados o van de enterados. Algunos estudiantes prefieren a los chiflados. Por consiguiente, algunos estudiantes rechazan a los profesores enterados.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































FICCIÓN Y PARAPSICOLOGÍA
Simbolización,Formalización,Derivación

Los Parapsicólogos no son conductistas. Ningún psicólogo es competente en cuestiones extrasensoriales. Los que no son conductistas son competentes en cuestiones extrasensoriales. Por lo tanto, los Parapsicólogos no son Psicólogos.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































GORILAS
Simbolización,Formalización,Derivación

Todos los gorilas son primates. Todos los primates son violentos. Por lo tanto, todos los gorilas son violentos.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































SPENCER EL DETECTIVE
Simbolización,Formalización,Derivación

Todo detective resuelve casos. Todo el que resuelve casos logra detener al asesino. Spencer no logró detener al asesino. Por lo tanto, Spencer no es capaz de resolver casos.

¿Quieres conocer la Solución?

40 Ejercicios



































































































































































































































DETECTIVES FAMOSOS ESPAÑOLES
Simbolización,Formalización,Derivación

Todo español es detective. Todo detective es famoso. Ramón es español. Por lo tanto, Ramón es famoso.

¿Quieres conocer la Solución?

40 Ejercicios