Ágora 2.0

Blog del alumnado de Filosofia de la Universidad de Zaragoza

Otros ejercicios de formalizacion de Lógica

Posted by forseti4y9 en 22 abril 2009

1. Formaliza los siguientes enunciados

1.1 No veré la televisión si me quedo en casa.
1.2 Si no es verdad que esté cansado, entonces ni me voy ni tú vienes conmigo.
1.3 No era un mal ciudadano. Tampoco era mala persona ni dejaba de ayudarnos siempre que se lo pedíamos.
1.4 No es verdad que sea rubio y tenga los ojos azules.
1.5 Que llueva no implica que la tierra se moje.
1.6 Todo empirista admira a Hume. Algunos idealistas no estiman a nadie que admire a Hume. En consecuencia, algunos idealistas no estiman a ningún empirista.
1.7 Cada tetraedro tiene exactamente un cubo pequeño a su derecha.
1.8 No es cierto que todo cubo sea mayor que todos los dodecaedro.
1.9 Nadie que estime a Santo Tomás estima a Kant. Todos estiman a Kant o Russell. Algunos no estiman a Russell. En consecuencia algunos no estiman a Santo Tomás.
1.10 Si Watson puede atrapar a Moriarty, Holmes puede. Holmes no puede. Por tanto, tampoco Watson.

Deja un comentario

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s

 
A %d blogueros les gusta esto: