EJERCICIOS LÓGICA PREDICADOS
Derivación de los Ejercicios siguientes

Proof Checker

AGUSTIN ANADES COMUNES COLIBRÍ
RACIONAL PUERCOESPÍN KANT COLORES
POEMA ASNOS LIBERAL PECES
TEJONES BIBLIA FILÓSOFOS ABSURDUM

Ejercicios Básicas y Predicados





























































































































































































































































































































































































ARGUMENTO DE AGUSTÍN DE HIPONA

Formalización y Derivación del argumento siguiente:

                                  
TODO EL QUE NO EXISTE,NO SE ENGAÑA      E=existir
AHORA BIEN, YO ME ENGAÑO                G=engañarse
---------------------------------       a=yo
POR LO TANTO, YO EXISTO                

Si quieres ver la Solución pulsa AQUÍ

Ejercicios lógica Predicados

































































































































































































































































































































































































































ARGUMENTO DE LEWIS CARROLL

Formalización y Derivación del argumento siguiente:

                                    
NINGÚN ANADE BAILA VALS                  A=ser ánade                  
NINGÚN OFICIAL DECLINA NUNCA UNA         B=bailar vals
INVITACIÓN A BAILAR VALS                 O=ser un oficial
---------------------------------        C=ser una de mis 
MIS AVES DE CORRAL NO SON OFICIALES        aves de corral

Si quieres ver la Solución pulsa AQUÍ

Ejercicios Lógica de Predicados

































































































































































































































































































































































































































ARGUMENTO DE LEWIS CARROL

Formalización y Derivación del argumento siguiente:

                                           
                                          
TODOS LOS MIEMBROS DE LA CÁMARA DE COMUNES     C=ser miembro cámara comunes
TIENE PERFECTO DOMINIO DE SI MISMOS.          ¬C=ser miembro cámara lores         
NINGÚN PARLAMENTARIO QUE USE CORONA DE         U=usar corona de nobleza
NOBLEZA PARTICIPARÍA EN UNA CARRERA DE BURROS. B=participar carrera burros
TODOS LOS MIEMBROS DE LA CÁMARA DE LOS LORES    
USAN COR0NA DE NOBLEZA.
--------------------------------------------                        
NINGÚNO QUE NO TENGA DOMINIO DE SÍ MISMO
PARTICIPA EN UNA CARRERA DE BURROS 
           

Si quieres ver la Solución pulsa AQUÍ

Ejercicios Lógica de Predicados

































































































































































































































































































































































































































ARGUMENTO DE LEWIS CARROL

Formalización y Derivación del argumento siguiente:

                                 
                                           
TODO COLIBRÍ TIENE VIVOS COLORES.    C=ser un colibrí    
NINGÚN PAJARO DE GRAN TAMAÑO SE      L=tener vivos colores
ALIMENTA DE MIEL.                    T=ser de gran tamaño
TODO PAJARO QUE NO SE ALIMENTA DE    M=alimentarse de miel
MIEL TIENE COLORES APAGADOS
---------------------------------               
TODO COLIBRÍ ES DE PEQUEÑO TAMAÑO                 

Si quieres ver la Solución pulsa AQUÍ

Ejercicios Lógica Predicados

































































































































































































































































































































































































































SOLUCIÓN ARGUMENTO DE AGUSTÍN DE HIPONA

Formalización del argumento:

"x (¬ Ex ® ¬ Gx); Ga; |--- Ea

Derivación del argumento:

|--- Ga


Agustín

































































































































































































































































































































































































































SOLUCIÓN ARGUMENTO DE LEWIS CARROL SOBRE LAS ÁNADES

Formalización del argumento:

"x (Ax ® ¬ Bx); "x (Ox ® Bx); "x (Cx ® Ax);
|--- "x (Cx ® ¬ Ox)

Derivación del argumento:

|--- "x (Cx ® ¬ Ox)


Anades

































































































































































































































































































































































































































SOLUCIÓN ARGUMENTO DE LEWIS CARROL SOBRE CÁMARA COMUNES

Formalización del argumento:

"x (Cx ® Dx); "x (Ux ® ¬ Bx); "x (¬ Cx ® Ux);
|--- "x ( ¬ Dx ® ¬ Bx)

Derivación del argumento:

|--- "x ( ¬ Dx ® ¬ Bx)


Comunes

































































































































































































































































































































































































































SOLUCIÓN ARGUMENTO DE LEWIS CARROL SOBRE COLIBRÍS

Formalización del argumento:

"x (Cx ® Lx); "x (Tx ® ¬ Mx); "x (¬ Mx ® ¬ Lx);
|--- "x ( Cx ® ¬ Tx)

Derivación del argumento:

|--- "x ( Cx ® ¬ Tx)


Colibrí

































































































































































































































































































































































































































ARGUMENTO SOBRE LA INEVITABILIDAD DE LA MUERTE

Formalización y Derivación del argumento siguiente:

                                        
                                  
TODO SER RACIONAL SABE QUE VA MORIR   P=ser racional
------------------------------------  Q=saber que va morir                                       
TODO EL QUE NO SABE QUE VA MORIR           
NO ES RACIONAL  

Si quieres ver la Solución pulsa AQUÍ

Ejercicios lógica Predicados

































































































































































































































































































































































































































ARGUMENTO DE LEWIS CARROLL SOBRE PUERCOESPINES

Formalización y Derivación del argumento siguiente:

                                    
                                 
TODO SUSCRITOR DEL TIMES ESTÁ           T=estar suscrito al Times
BIEN EDUCADO.                           B=ser persona bien educada                    
NINGÚN PUERCOESPÍN SABE LEER            P=ser un puercoespín         
LAS PERSONAS EDUCADAS SABEN LEER        S=saber leer                 
---------------------------------         
NINGÚN PUERCOESPÍN ESTA SUSCRITO
AL TIMES

Si quieres ver la Solución pulsa AQUÍ

Ejercicios Lógica de Predicados

































































































































































































































































































































































































































ARGUMENTO SACADO DEL LIBRO DE KÖRNER SOBRE KANT

Formalización y Derivación del argumento siguiente:

                                            
                                                                                     
LAS PROPOSICIONES METAFÍSICAS NO SON        M=ser proposición metafísica
NI PROPOSICIONES EMPÍRICAS NI               E=ser proposición empírica
PROPOSICIONES ANALÍTICAS.                   A=ser proposición analítica
AHORA BIEN, LAS PROPOSICIONES CON           S=ser proposición con sentido
SENTICO SON AQUELLAS QUE SON O
EMPÍRICAS O ANALÍTICAS.         
----------------------------------------     
POR LO TANTO, SE HA DE CONCLUIR QUE
QUE LAS PROPOSICIONES METAFÍSICAS
CARECEN DE SENTIDO. 

Si quieres ver la Solución pulsa AQUÍ

Ejercicios Lógica de Predicados

































































































































































































































































































































































































































ARGUMENTO SOBRE COLORES

Formalización y Derivación del argumento siguiente:

                                    
                                           
ALGO ES BLANCO O NEGRO                 P=Algo es blanco
------------------------------         Q=Algo es negro               
POR LO TANTO, O BIEN ALGO ES 
BLANCO O BIEN ALGO ES NEGRO                 

Si quieres ver la Solución pulsa AQUÍ

Ejercicios Lógica Predicados

































































































































































































































































































































































































































SOLUCIÓN ARGUMENTO SOBRE INEVITABILIDAD DE LA MUERTE

Formalización del argumento:

"x (Px ® Qx); |--- "x (¬ Qx ® ¬ Px)

Derivación del argumento:

|--- "x (¬ Qx ® ¬ Px)


Racional

































































































































































































































































































































































































































SOLUCIÓN ARGUMENTO SOBRE PUERCOESPINES

Formalización del argumento:

"x (Tx ® Bx); "x (Px ® ¬ Sx); "x (Bx ® Sx); |--- "x (Px ® ¬ Tx)

Derivación del argumento:

|--- "x (Px ® ¬ Tx)


Puercoespín

































































































































































































































































































































































































































SOLUCIÓN ARGUMENTO SOBRE KANT

Formalización del argumento:

"x (Mx ® (¬ Ex Ù ¬ Ax); "x (Sx ® (Ex Ú Ax); |--- "x (Mx ® ¬ Sx)

Derivación del argumento:

|--- "x (Mx ® ¬ Sx)


Kant

































































































































































































































































































































































































































SOLUCIÓN ARGUMENTO SOBRE COLORES

Formalización del argumento:

$x (Px Ú Qx); |--- $x (Px) Ú $x (Qx)

Derivación del argumento:

|--- $x (Px) Ú $x (Qx)


Colores

































































































































































































































































































































































































































ARGUMENTO DE LEWIS CARROL SOBRE POEMAS

Formalización y Derivación del argumento siguiente:

                                          
TODO POEMA INTERESANTE GOZA DE              I=ser poema intersante
ACEPTACIÓN ENTRE GENTES DE BUEN GUSTO.      R=gozar de aceptación entre
TODO POEMA MODERNO RESULTA AFECTADO.          gentes de buen gusto.
TODOS SUS POEMAS DE USTED VERSAN            M=ser poema moderno
ACERCA DE POMPAS DE JABÓN.                  A=ser afectado
NINGÚN POEMA AFECTADO GOZA DE               E=ser poema escrito por Usted
ACEPTACIÓN ENTRE GENTES DE BUEN GUSTO.      P=versar acerca pompas de jabón
NINGÚN POEMA ANTIGUO VERSA ACERCA DE
POMPAS DE JABÓN.                                                                               
------------------------------                        
TODOS SUS POEMAS CARECEN DE INTERÉS                 

Si quieres ver la Solución pulsa AQUÍ

Ejercicios Lógica Predicados

































































































































































































































































































































































































































ARGUMENTO DE LEWIS CARROL SOBRE LOS ASNOS

Formalización y Derivación del argumento siguiente:

                                          
TODOS LOS ANIMALES QUE NO COCEAN SON       C=cocear
FLEMÁTICOS.                                F=ser flemático
LOS ASNOS NO TIENEN CUERNOS.               A=ser un asno
UN BÚFALO PUEDE SIEMPRE LANZARLO A         N=tener cuernos
UNO CONTRA UNA PUERTA.                     B=ser un búfalo
NINGÚN ANIMAL QUE COCEA ES FACIL           L=ser animal que puede lanzar a
DE ENGULLIR.                                 uno contra la pared
TODO ANIMAL SIN CUERNOS NO PUEDE           E=ser animal facil de engullir
LANZARLO A UNO CONTRA LA PARED.
EL QUE NO ES BÚFALO ES EXCITABLE.
-------------------------------------                        
LOS ASNOS NO SON FÁCILES DE ENGULLIR                 

Si quieres ver la Solución pulsa AQUÍ

Ejercicios Lógica Predicados

































































































































































































































































































































































































































ARGUMENTO SACADO DE LA OBRA DE G. Lichthein "BREVE HISTORIA DEL SOCIALISMO".

Formalización y Derivación del argumento siguiente:

                                          
EN EL XIX LOS DEMÓCRATAS ERAN LIBERALES        D=ser un demócrata    
O SOCIALISTAS.                                 L=ser liberal    
LOS LIBERALES ACEPTABAN LA REVOLUCIÓN          S=ser socialista    
INDUSTRIAL Y DEFENDÍAN LA INSTITUCIÓN          C=ser conservador    
DE LA PROPIEDAD PRIVADA DE LOS MEDIOS          R=aceptar la revolución     
DE PRODUCCIÓN, EL ESTABLECIMIENTO DE              industrial                     
UNA ECONOMÍA DE MERCADO AUTORREGULADA          P=defender la propiedad          
Y LA CONVERSIÓN DEL TRABAJO EN MERCANCÍA          privada de los medios de                                                                                                     
LOS SOCIALISTAS ACEPTABAN  TAMBIEN LA             producción                       
REVOLUCIÓN INDUSTRIAL,PERO RECHAZABAN          M=defender el establecimiento
ESOS TRES PUNTOS DE LA IDEOLOGÍA LIBERAL.        de una economía de mercado            
LOS CONSERVADORES,POR SU PARTE,RECHAZABAN        autorregulada
LA REVOLUCIÓN INDUSTRIAL.                      T=defender la conversión del
-------------------------------------            trabajo en mercancía            
DE TODO LO DICHO SE DESPRENDE QUE TANTO
LOS LIBERALES COMO LOS SOCIALISTAS NO
ERAN CONSERVADORES, Y, ADEMÁS, QUE SI
SE ERA LIBERAL, NO SE ERA SOCIALISTA Y
SI SE ERA CONSERVADOR NO SE ERA DEMÓCRATA                 

Si quieres ver la Solución pulsa AQUÍ

Ejercicios Lógica Predicados

































































































































































































































































































































































































































ARGUMENTO DE LEWIS CARROL SOBRE LOS PECES.

Formalización y Derivación del argumento siguiente:

                                         
NINGÚN TIBURÓN DUDA NUNCA DE SU             T=ser un tiburón
BUENA PREPARACIÓN.                          D=dudar de su buena preparación
UN PEZ QUE NO SEA CAPAZ DE BAILAR           C=ser capaz de bailar un minuto
UN MINUTO ES DESPRECIABLE.                  P=ser despreciable
SI UN PEZ NO DUDA DE SU BUENA               F=tener tres filas de dientes
PREPARACIÓN ES QUE TIENE TRES               A=ser amable con los niños
FILAS DE DIENTES.                           O=ser obeso
SI EL PEZ NO ES UN TIBURÓN, ES 
AMABLE CON LOS NIÑOS.
SI ES UN PEZ OBESO NO PUEDE BAILAR
UN MINUTO.
UN PEZ CON TRES FILAS DE DIENTES NO ES 
DESPRECIABLE.
-------------------------------------                        
TODOS LOS PECES OBESOS SON AMABLES CON
LOS NIÑOS                 

Si quieres ver la Solución pulsa AQUÍ

Ejercicios Lógica Predicados

































































































































































































































































































































































































































SOLUCIÓN ARGUMENTO SOBRE POEMAS

Formalización del argumento:

"x (Ix ® Rx); "x (Mx ® Ax); "x (Ex ® Px); "x (Ax ® ¬ Rx); "x (¬ Mx ® ¬ Px);
|--- "x (Ex) ® ¬ Ix)

Derivación del argumento:

|--- "x (Ex) ® ¬ Ix)


Poemas

































































































































































































































































































































































































































SOLUCIÓN ARGUMENTO SOBRE ASNOS

Formalización del argumento:

"x (¬ Cx ® Fx); "x (Ax ® ¬ Nx); "x (Bx ® Lx); "x (Cx ® ¬ Ex); "x (¬ Nx ® ¬ Lx);
"x (¬ Bx ® ¬ Fx);
|--- "x (Ax ® ¬ Ex)

Derivación del argumento:

|--- "x ( Ax ® ¬ Ex)


Asnos

































































































































































































































































































































































































































SOLUCIÓN ARGUMENTO SOBRE LIBERALISMO

Formalización del argumento:

"x (Dx ® (Lx Ú Sx); "x (Lx ® (Rx Ù Px Ù Mx Ù Tx);
"x (Sx ® (Rx Ù ¬ Px Ù ¬ Mx Ù ¬ Tx); "x (Cx ® ¬ Rx);
|--- ["x (Lx Ú Sx) ® ¬ Cx)] Ù ["x (Lx ® ¬ Sx)] Ù ["x Cx ® ¬ Dx)]

Derivación del argumento:

|--- ["x (Lx Ú Sx) ® ¬ Cx)] Ù ["x (Lx ® ¬ Sx)] Ù ["x Cx ® ¬ Dx)]


Liberalismo

































































































































































































































































































































































































































SOLUCIÓN ARGUMENTO SOBRE PECES

Formalización del argumento:

"x (Tx ® ¬ Dx); "x (¬ Cx ® Px); "x (¬ Dx ® Fx); "x (¬ Tx ® Ax); "x (Ox ® ¬ Cx);
"x (Fx ® ¬ Px);
|--- "x (Ox ® Ax)

Derivación del argumento:

|--- "x (Ox ® Ax)


Peces

































































































































































































































































































































































































































ARGUMENTO DE LEWIS CARROL SOBRE LOS TEJONES.

Formalización y Derivación del argumento siguiente:

                                              
LOS ANIMALES SE IRRITAN SIEMPRE               P=ser un animal que recibe
MORTALMENTE SI NO LES PRESTO ATENCIÓN.          mi atención.
TODOS LOS ANIMALES QUE ME PERTENECEN          I=ser un animal que se irrita
ESTÁN EN ESTE PRADO.                            mortalmente.
NINGÚN ANIMAL PUEDE ADIVINAR UN               E=ser un animal que está en
ACERTIJO A MENOS QUE HAYA SIDO                  este prado.
ADECUADAMENTE INSTRUIDO EN UN COLEGIO         M=ser un animal que me 
CON INTERNADO.                                  pertenece.
NINGÚN ANIMAL DE LOS QUE ESTÁN EN ESTE        C=ser un animal adecuadamente
PRADO ES UN TEJÓN.                              instruido.
CUANDO UN ANIMAL ESTA MORTALMENTE             A=ser un animal capaz de
IRRITADO CORRE DE UN LADO PARA OTRO             adivinar un acertijo.
SALVAJEMENTE Y GRUÑE.                         T=ser un tejón.
NUNCA PRESTO ATENCIÓN A UN ANIMAL,            S=ser un animal que corre
A NO SER QUE ME PERTENEZCA.                     salvajemente y gruñe.
NINGÚN ANIMAL QUE HAYA SIDO INSTRUIDO
ADECUADAMENTE EN UN COLEGIO CON
INTERNADO CORRE DE UN LADO PARA
OTRO SALVAJEMENTE Y GRUÑE.                                         
-----------------------------------------
NINGÚN TEJÓN PUEDE ADIVINAR UN ACERTIJO

Si quieres ver la Solución pulsa AQUÍ

Ejercicios Lógica Predicados

































































































































































































































































































































































































































ARGUMENTO SOBRE DICHOS DE LA BIBLIA.

Formalización y Derivación del argumento siguiente:

                                              
Yavhé habló a Moisés y Arón 
diciendo:"hablad a los hijos
de Israel e informarles sobre
los animales que podrán comer
de entre las bestias de la 
tierra:"
TODO ANIMAL DE CASCO PARTIDO Y           C=ser animal que puede comerse
PEZUÑA HENDIDA Y QUE RUMIE, LO           P=tener el casco partido
COMEREIS.                                H=tener la pezuña hendida
TODO ANIMAL QUE RUMIE O TENGA            R=rumiar
LA PEZUÑA HENDIDA, NO COMEREIS.          M=ser un camello
PUES BIEN: SI ES UN CAMELLO,             J=ser un conejo
ENTONCES RUMIA Y NO TIENE LA             L=ser una liebre
PEZUÑA HENDIDA.                          D=ser un cerdo
SI ES UN CONEJO, RUMIA Y NO
TIENE LA PEZUÑA HENDIDA.
SI ES UNA LIEBRE, RUMÍA Y
NO TIENE LA PEZUÑA HENDIDA.
SI ES UN CERDO, NO RUMÍA 
PERO TIENE LA PEZUÑA HENDIDA.
-----------------------------------
POR LO TANTO, SI ES CAMELLO O
CONEJO, O LIEBRE O CERDO, NO LO
COMEREIS.

Si quieres ver la Solución pulsa AQUÍ

Ejercicios Lógica Predicados

































































































































































































































































































































































































































ARGUMENTO SOBRE LOS FILÓSOFOS

Formalización y Derivación del argumento siguiente:

                                              
TODOS LOS FILÓSOFOS SE HAN                 F=ser un filósofo 
PREGUNTADO QUÉ ES LA FILOSOFÍA.            P=preguntarse que es filosofía
TODOS LOS QUE SE HAN                       L=haber ido dar a la locura
PREGUNTADO QUÉ ES LA FILOSOFÍA             a=Nietzsche era filósofo
HAN DADO A LA LOCURA.
NIETZSCHE ERA UN FILÓSOFO
--------------------------------
NIETZSCHE DESEMBOCÓ EN LA LOCURA

Si quieres ver la Solución pulsa AQUÍ

Ejercicios Lógica Predicados

































































































































































































































































































































































































































ARGUMENTO CON ESTRATEGIA BASADA EN LA REDUCCIÓN AL ABSURDO

Formalización y Derivación según la estrategia de la Reducción al Absurdo (Abs) de los argumentos siguientes:

|---"x (Rx ® ¬Qx)

|--- "x (Rx ® ¬ Px)

Si quieres ver la Solución pulsa AQUÍ

Ejercicios Lógica Predicados

































































































































































































































































































































































































































SOLUCIÓN ARGUMENTO SOBRE LOS TEJONES

Formalización del argumento:

"x (¬ Px ® ¬ Ix); "x (Mx ® Ex); "x (¬ Cx ® ¬ Ax); "x ( Ex ® ¬ Tx); "x (Ix ® Sx);
"x (¬ Mx ® ¬ Px); "x (Cx ® ¬ Sx);
|--- "x (Tx ® ¬ Ax)

Derivación del argumento:

|--- "x (Tx ® ¬ Ax)


Tejones

































































































































































































































































































































































































































SOLUCIÓN ARGUMENTO SOBRE LA BIBLIA

Formalización del argumento:

"x (Px Ù Hx Ù Rx) ® Cx); "x (Rx Ú Hx) ® ¬ Cx); "x (Mx ® (Rx Ù ¬ Hx);
"x (Jx ® (Rx Ù ¬ Hx); "x (Lx ® (Rx Ù ¬ Hx); "x (Dx ® (¬ Rx Ù Hx);
|--- "x ( Mx Ú Jx Úx Dx ® ¬ Cx)

Derivación del argumento:

|--- "x ( Mx Ú Jx Úx Dx ® ¬ Cx)


Biblia

































































































































































































































































































































































































































SOLUCIÓN ARGUMENTO SOBRE LOS FILOSOFOS

Formalización del argumento:

"x (Fx ® Px); "x (Px ® Lx); Fa; |--- La

Derivación del argumento:

|--- La


Filósofos

































































































































































































































































































































































































































SOLUCIÓN ARGUMENTOS ESTRATEGIA ABSURDUM

Derivación del 1º argumento:

|--- "x (Rx ® ¬Qx)
Derivación del 2º argumento:

|--- "x (Rx ® ¬ Px)

Absurdum