Слоняясь после ужина по квартире, неожиданно обнаружил тонкую брошюрку. Взял. Дай, думаю, полистаю, почитаю….. Как никак скоро спать.
"Характер дизъюнкции на необходимость заключения по этому модусу не влияет". И далее, прилагается одна из 4-х формул вывода: (1) ((a ? b) ^ a) >b.
Нда…. Ужас. Понятно, что это чтиво явно не для душевного расслабления, а если перебороть себя и попытаться продолжить читать, то уж точно, о сне мне придется только мечтать.

LI 3.6.05