Premisa: Salvar a muchos inocentes es mejor que salvar a algunos inocentes.
a → b: Si Hamas existe, algunos inocentes morirán por culpa de Hamas.
¬ a → ¬ b: Si Hamas no existe, algunos inocentes no morirán por culpa de Hamas.
c → ¬ a: Si se combate militarmente a Hamas, Hamas dejará de existir.
d → c: Si se usan tanques y helicópteros en Gaza, se combate militarmente a Hamas.
d → ¬ a: Si se usan tanques y helicópteros en Gaza, Hamas dejará de existir.
d → ¬ b: Si se usan tanques y helicópteros en Gaza, algunos inocentes no morirán por culpa de Hamas.
d → e: Si se usan tanques y helicópteros en Gaza, se producen muchas víctimas inocentes.
d → e + d → ¬b: Si se usan tanques y helicópteros en Gaza, lo cual produce muchas víctimas inocentes, algunos inocentes no morirán por culpa de Hamas.
Premisa derivada: Salvar a las víctimas inocentes de usar tanques y helicópteros en Gaza es mejor que usar tanques y helicópteros en Gaza para que algunos inocentes no mueran por culpa de Hamas.
Algunas alegaciones contra la premisa derivada:
La segunda regla no la puedes deducir de la primera. a->b no implica que !a->!b. Mira bien la tabla de verdad de la implicación proposicional.
Luego es todavía peor: si Hamas no existe, no tienen por qué dejar de morir inocentes.
Y se te olvida también que en el caso de que apliquen la lógica, ni la que aplique Israel ni la que aplique Hamas son globales, sino relativas a sus propios mundos maravillosamente cargados de razón.
Lo sé. Mi punto era que, aunque lo demás tenga lógica, sigue sin tener sentido.