2402 подписчика
"Условно-категорическим называют такие умозаключения, одна из посылок которых является условным суждением, а другая - суждением категорическим"
"Правильные модусы условно-категорического силлогизма (и ponens, и tollens) имеют по четыре верных варианта - в зависимости от качества (утверждения или отрицания) той или другой части условной посылки".
Формальная логика, ЛГУ 1977.
Каждый логик с первого курса знает модусы ponens ((p⊃q)&p)⊃q и tollens ((p⊃q)&¬q)⊃¬p Первый модус конструктивный, второй деструктивный.
Истинность этих пропозиций доказывается табличным методом, методом приведения к нормальной форме и прочими исчислениями доступными современным логикам.
Этого было бы достаточно, но в учебнике сказано, что каждый из указанных модусов имеет "по четыре верных варианта". И далее: "Любой читатель на основе сказанного легко может построить и проверить на примерах эти варианты".
Любой ли и легко ли?
Если формализовать последнюю цитату, то руководствуясь указанными модусами постройте силлогизм в отношении себя.
Около минуты
12 апреля 2022