Т-34 85
не, там-то всё нормально. Просто эта логика не всегда под реальность хорошо ложится. Лучше интуиционистская логика, но она и сложнее
Под реальность логика не ложится. Весь логический вывод строится на том, что если утверждение А истинно, то Б обязательно истинно. А когда А не истинно, то про Б уже ничего сказать нельзя. Так вот за основные предпосылки - аксиомы - можно всё что хочешь выдумать и необязательно это связывать с реальным миром