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