В ортодоксальной двухзначной логике рассуждения базируются на операции классической импликации A?B = ¬A+B (из предпосылки А следует утверждение В), откуда можно наплодить множество правил логического вывода (тавтологий), популярных среди средневековых схоластов:
A?B = В, если A истинно, модус поненс,
A?B = ¬A, если В ложно, модус толленс,
(A?B)&(B?С) = A?С, силлогизм,
и т.д.
1763
9
