Из рисунка видно, что контрапозиции исходных суждений можно легко построить, используя два простых правила.
Правило 1: Если исходное суждение соединяет литералы в одной строке, то его контрапозиция соединяет противоположные литералы в другой строке, при этом направление дуги меняется на обратное.
Правило 2: Если исходное суждение соединяет литерала в разных строках, то его контрапозиция соединяет противоположные литералы, при этом направление дуги (вверх или вниз) не изменяется.
Почему не одно простое правило: контрапозиция соединяет противоположные литералы, при этом направление дуги (влево или вправо) меняется на обратное?
По картинке "Простой пример где варьируется только выход":
1) когда линия выходит от конкретной вариации выхода - движение по этой линии только если эта вариация
2) а когда линия выходит от шапки таблицы преобразователя - что это значит?
Задача 3
А можно опираться на то, что
корректны - 1) «- Х» только после «+ Х»; 2) «+ Х» только не после «+ Х»?
(n - 1) * 4 попроще будет
каждый раз радуюсь, когда такое читаю или слышу, но
к сожалению, уже далеко не в большинстве.
Почему не одно простое правило: контрапозиция соединяет противоположные литералы, при этом направление дуги (влево или вправо) меняется на обратное?