Ciertos hechos tradicionales solo pueden justificarse si son inofensivos y respetuosos con todos los seres vivos y el medio ambiente. Sin embargo, aquellos hechos que son bárbaros o no respetuosos no deberían justificarse, pues de lo contrario no podríamos considerarnos parte de nuestro tiempo.
More than Just Lines on a Map: Best Practices for U.S Bike Routes
Formalización
1. FORMALIZACIÓN
Si tuvieran que justificarse ciertos 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 los seres vivientes o el
medio ambiente, entonces habría que dejar de justificarlos o no
podríamos considerarnos dignos de nuestro tiempo.
-Justificarse ciertos hechos por su enorme tradición = p
-Hechos inofensivos = q
-Respetan a todo ser viviente = r
-Al medio ambiente = s
-Ningún problema = t
-Los hechos son bárbaros = u
-Podríamos considerarnos dignos de nuestro tiempo = v
1 p → (q ^ r ^ s ¬ t)
2 u o r o s → ¬ p o ¬ v