Formaliza los siguientes enunciados:

Si el hombre es racional entonces motiva sus acciones mediante razones y si es irracional motiva sus acciones mediante
emociones.
No me gusta trasnochar ni madrugar.
Si el alumno es un televidente extraordinario y un pésimo estudiante, entonces su rendimiento académico será pobre y
sus profesores no estarán satisfechos.
Si viene en tren, llegará antes de las seis. Si viene en coche, llegará antes de las seis. Luego, tanto si viene en tren como
si viene en coche, llegará antes de las seis.

La nueva vacuna contra el SIDA se podrá experimentar y distribuir en los centros hospitalarios si y sólo si las autoridades
sanitarias consideran que retrasa el desarrollo de la enfermedad y no produce ningún tipo de efectos secundarios.

Traduce al lenguaje formal y construye la tabla de verdad de las siguientes expresiones:

Si los coches dejaran de utilizar este tipo de combustible, entonces contaminarían menos.
No es cierto que no haya estudiado el examen, pero me van a suspender igual.
Si estudio más, aprenderé a construir tablas de verdad correctamente. Y si además no voy a la fiesta, entonces con todo
ello conseguiré aprobar el curso.

Fíjese en las siguientes proposiciones y formalice las expresiones que figuran a continuación:
p = Argentina se moviliza.
q = Brasil impone restricciones económicas.
r = Cuba sigue enviando armas a Sudamérica.
s = La república Dominicana apela a las Naciones Unidas.
Argentina se moviliza y, o bien Brasil impone restricciones comerciales, o bien Cuba sigue enviando armas a Sudamérica.
O bien Argentina se moviliza y Brasil impone restricciones comerciales, o bien Cuba sigue enviando armas a Sudamérica.
Argentina no se moviliza, pero Brasil impone restricciones comerciales.
O bien Argentina se moviliza, o bien Brasil no impone restricciones comerciales.

No se da el caso de que Argentina se movilice y Brasil imponga restricciones comerciales.

Construya la tabla de verdad de las siguientes fórmulas. Indique qué fórmulas son tautológicas, cuáles contradictorias
y cuáles contingentes.

1) p. q=>p

2. (p=>q) .(p.-q)

3) p v (q=>r)

4. -(p=>q) . q =>r

5. (p=>q).(q=>r)=> -(p=>r)

6. (p=>q) .-p=>-q

7. p=>(q=>r)
9. (p v q) => (r v s)=>p

Ejercicio 5: Formalice los siguientes argumentos. Una vez formalizados, Haga su tabla de verdad e indique si son
válidos o no.

Ejemplo: Jaime se come el polo o se le derretirá; no se derrite el polo; por tanto, Jaime se come el polo. p = Jaime se
come el polo q = el polo se derrite.

1. Juan partirá para Japón, si María se queda en Venecia. Rosa viajará a Luxemburgo o Juan no partirá para Japón. O
María no se queda en Venecia o Rosa no viajará a Luxemburgo. Por consiguiente, María no se queda en Venecia.

Juan Japón: p
María Venecia: q
Rosa Luxemburgo: r

2. Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Júpiter es mayor que Plutón, si la Tierra es mayor que
el Sol. Por tanto, si la Luna es mayor que la Tierra, Júpiter es mayor que Plutón.

Luna mayor: p
Tierra mayor: q
Júpiter mayor: r

3. Cuando viajo me mareo. Siempre que me mareo, me entra un hambre atroz. Así pues, siempre que me entra un
hambre atroz, viajo.

Viajo: p
Mareo: q
Hambre: r

4. O el amor es ciego y los hombres no son conscientes del hecho de que el amor es ciego, o el amor es ciego y las
mujeres sacan ventaja de ello. Si los hombres no son conscientes de que el amor es ciego, entonces el amor no es ciego.
En conclusión, las mujeres sacan ventaja de ello.

Amor ciego: p
Hombres no conscientes: ¬ q
Mujeres ventaja: r

5. Si Guillermo estudia, obtiene buenas notas. Si no estudia, lo pasa bien en el colegio. Si no saca buenas notas, no lo
pasa bien en el colegio. Así pues, Guillermo obtiene buenas notas.

Guillermo estudia: p
Guillermo notas: q
Guillermo colegio: r

6. Cuando Eduardo no juega al baloncesto, juega al tenis; cuando juega al tenis, juega al fútbol; no juega al fútbol. Por
tanto, Eduardo juega al baloncesto.

Eduardo baloncesto: p
Eduardo tenis: q
Eduardo fútbol: r
7. Si la tormenta continúa o anochece, nos quedaremos a cenar o a dormir; si nos quedamos a cenar o a dormir no
iremos mañana al concierto; por consiguiente, iremos mañana al concierto.

Tormenta continua: p
Anochece: q
Quedamos a cenar: r
Quedamos a dormir: s
Iremos concierto: t