Закон Дунса Скота Закон контрапозиции Закон Клавия

«Если дважды два не равно четырем, то если дважды два

все-таки четыре, то вся математика ничего не значит».

Закон Дунса Скота
«Ложное высказывание влечет (имплицирует) любое высказывание»
Символически:



~a→(a→b)

образом, несомненный привкус парадоксальности. Особенно заметным он становится, когда в

качестве заключения берется явно ложное и совершенно не связанное с посылками высказывание.
Например: «Если четыре не является четным числом, то, поскольку четыре — четное число, Москва — большая деревня». Это — явный парадокс. Не следует, разумеется, допускать логических противоречий и нельзя принимать в качестве посылок ложные положения.

так: «если первое влечет второе, то отрицание второго влечет отрицание первого.» Например:

«Если верно, что число, делящееся на шесть, делится на три, то верно, что число, не делящееся на три, не делится на шесть».

Закон контрапозиции
– это общее название для ряда логических законов, позволяющих с помощью отрицания менять местами основание и следствие условного высказывания.

(a→b) →(~b →a)

то это высказывание истинно. Например, если условием того, чтобы машина

не работала, является её работа, то машина работает.

ЗАКОН КЛАВИЯ
«Если из отрицания некоторого высказывания вытекает само это высказывание, то оно является истинным»
(если не-А имплицирует А, то верно А)

(~ А -> А) -> А,

В.С.