Я вот тут подумал...
Я бы начал с того, для чего введено это правило - что из ложного утверждения может следовать истинное. Не для того, чтобы выводить истинные утверждения, опираясь на ложь,
это, конечно, занятие бессмысленное - выводить что-то из лжи, но мне кажется, что точнее бы было сказать, что
правило - что из ложного утверждения может следовать истинное.
введено не только для того,
а для того, чтобы, узнав ложность основания, не считать вывод неверным - он может следовать из другого основания,
а еще и для того, чтобы не случилось такой ситуации что если бы положили, что из лжи может следовать только ложь, а вдумчивому наблюдателю пришли бы в голову рассуждения типа
Итак, истина то, что из лжи
![$1=2$ $1=2$](https://dxdy-02.korotkov.co.uk/f/d/0/a/d0ae5c3eaf9f1e48938a4147dc1b511182.png)
следует истина
![$1+2=2+1$ $1+2=2+1$](https://dxdy-01.korotkov.co.uk/f/8/8/5/8859f703e2301c0c343f6b8b21c7bd2082.png)
или
если 2 кратно 4, то 2 чётное,
он бы не смог сказать: "так, ребята-математики, воля ваша, но у вас в алгебре логики, одном из фундаменте дела, которому вы посвящаете жизнь, не все продумано, да и вообще вы странные люди: у вас
![$1+2$ $1+2$](https://dxdy-04.korotkov.co.uk/f/7/b/3/7b3f19d17785621d78db6c9ef5e3cc6782.png)
может равняться 10!"
А вот интересно, а подобные примеры из геометрии можно подобрать?