FORMALITZAR

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.
 justificar hechos por su tradición: p
ser inofensivo: q ser respetuoso con los seres vivos: r
ser respetuoso con el medio ambiente: s tener problemas: t
ser digno de nuestro tiempo: u
 Ser bárbaro: ¬q

p ((q Λ r Λ s)  ¬t) Λ (( ¬q v (¬r v ¬s)  ( ¬p v ¬u)