4. “Si tuvieran que justificarse varios hechos por su enorme tradición entonces, si
estos hechos son inofensivos y respetan a todo ser viviente y al medio ambiente,
no habría ningún problema. Pero si los hechos son bárbaros o no respetuosos con
seres vivientes o el medio ambiente, entonces habría que dejar de justificarlos o no
podríamos considerarnos dignos de nuestro tiempo.”
p: Justificar hechos por su tradición.
q: Ser inofensivo.
r: Ser respetuoso con los seres vivos.
s: Ser respetuoso con el medio ambiente.
t: Tener problemas.
¬q: Ser bárbaro (=No ser inofensivo).
u: Ser digno de nuestro tiempo.
p → [(q ˄ r ˄ s) →¬t] ˄ [(¬q ˅ ¬ (r ˅ s) → (¬p ˅ ¬u)]
5. “Si un animal fabuloso se enfada, te quedas paralizado del susto; y si te quedas
paralizado del susto, entonces no puedes sino apelar a su bondad y así no ser
engullido. Por lo tanto, si un animal fabuloso se enfada, tendrás que apelar a su
bondad o serás engullido.”
p = se enfada un animal fabuloso
q = quedarse paralizado del susto
r = apelar a su bondad
s = ser engullido
[ (p → q) ^ q → (r ^ -s ) ] → [ p →(r v s ) ]
6. Todo número entero o es primo o es compuesto. Si es compuesto, es un producto
de factores primos, y si es un producto de factores primos, entonces es divisible
por ellos. Pero si un número entero es primo, no es compuesto, aunque es divisible
por sí mismo y por la unidad, y consiguientemente, también divisible por números
primos.
