1.- Pon en cada formalización el número que le corresponda.
1 Llueve y hace sol p q
2 No es cierto que si llueve y hace sol las brujas se peinan ¬[(pq) r]
3 Las brujas se peinan únicamente si llueve y hace sol r (pq)
4 Cuando las brujas no se peinan, no llueve o no hace sol ¬r ( ¬p¬q)
5 Llueve y las brujas no se peinan o bien hace sol y las brujas no se peinan
(p¬r) (q¬r)
2.- Formaliza y haz tabla de verdad. Tautología, Indeterminación, Contradicción.
La vida no tiene cosas así de fuertes o yo te puedo contar cómo es una llama por
dentro. Si yo te puedo contar cómo es una llama por dentro, entonces pienso
entregarte mi tiempo y pienso entregarte mi fe. No es cierto que piense entregarte mi
tiempo y piense entregarte mi fe. Por lo tanto, la vida no tiene cosas así de fuertes.
{ ( ¬p q ) [ q ( r s ) ] ¬( r s ) } ¬p
3.- Formaliza y haz tabla de verdad. Tautología, Indeterminación, Contradicción.
Si acepto este trabajo o dejo de pintar por falta de tiempo, entonces no realizaré mis
sueños. He aceptado el trabajo y he dejado de pintar. Por lo tanto, no realizaré mis
sueños.
[( p q ) ¬ r ( p q ] ¬ r TAUTOLOGÍA
4.- SÓLO Formaliza.
Si la pena de muerte antepone la defensa de la sociedad a la conservación de la
persona, entonces, si supone la destrucción total de la persona, no permite la
corrección del penado. Si no permite la corrección del penado, es condenable
éticamente. La pena de muerte antepone la defensa de la sociedad a la conservación
de la persona. Conclusión, si la pena de muerte supone la destrucción total de la
persona y no permite la corrección del penado, es condenable éticamente.
{[p (q r)] [( r s) p]} [q ( r s)]
