si 2+2 faisaient 5, alors 2+3 feraient 6... Mais

si 2+2 faisaient 5, alors 2+3 feraient 6...

Mais comme la prémisse est fausse, je peux, veritate salva, en déduire ce que je veux.

En effet a implique b veut dire non a ou b. Or j'ai non a!

D'accord, mais il faut distinguer cette règle logique du raisonnement lui-même, qui s'efforce de lier la conclusion à la prémisse, à son contenu. En général, on ignore si la prémisse est vraie ou non, et on veut voir ce qui va advenir, par exemple une absurdité ou une contradiction avec ce que l'on sait.

Il n'est donc guère naturel de partir d'une prémisse absurde!