Закон косвенного доказательства можно сформулировать в форме: "Если неверно А, то В и не-В. Следовательно, А":
(*ответ*) да
нет
Закон логики - выражение, включающее только логические постоянные (связки) и переменные (вместо содержательных частей) и являющееся истинным в любой области рассуждений:
(*ответ*) да
нет
Закон опровержения (фальсификации) - схема "Если А, то В; неверно В; значит, неверно А":
(*ответ*) да
нет
Закон противоречия первым сформулировал:
(*ответ*) Аристотель
Платон
Сократ
Конфуций
Законом Клавия является схема рассуждения:
(*ответ*) "Если предполагается А, то если А неверно, то не-А"
"Если А, то неверно, что не-А"
"Если А, то В, то если не-А, то не-В"
"Если А, то В или С"
Законы двойного отрицания позволяют снять одно из двух отрицаний:
(*ответ*) нет
да
Из общеутвердительного высказывания вытекает частноотрицательное высказывание:
(*ответ*) нет
да
Из посылки "Если А, то В" по закону контрапозиции вытекает высказывание:
(*ответ*) "Если не-В, то не-А"
"А и В"
"Если не-В, то А"
"Если В, то не-А"
Из посылки "Ложно, что не-А" по закону двойного отрицания вытекает заключение:
(*ответ*) "Истинно А"
"Вероятно А"
"Ложно, что не-В"
"Неверно, что А"
Каждый закон логики является логической тавтологией:
(*ответ*) да
нет
Логика категорических высказываний, или силлогистика, говорит о логических связях:
(*ответ*) категорических высказываний
модальных высказываний
сложных высказываний
простых высказываний
Логическая тавтология "Дождь идет или не идет":
(*ответ*) не несет информации о погоде
не содержит никакой информации
должна быть проверена
содержит некоторые сведения о погоде
Логический закон противоречия содержит какие-либо логические связки, кроме конъюнкции и отрицания:
(*ответ*) нет
да
Логическое противоречие образуют два высказывания, говорящие о разных объектах:
(*ответ*) нет
да
Модальная логика описывает логические связи:
(*ответ*) модальных высказываний
категорических высказываний
условных высказываний
конъюнктивных высказываний