Запишите ПКС в стандартной форме. Проверьте тремя способами.(по правилам фигур, по модусам и по общим правилам категорического силлогизма) является ли это рассуждение правильным, а заключение - истинным суждение: Ни один мудрый человек не является глупцом. Некоторые разумные люди - мудрецы, значит, некоторые разумные люди не являются глупцами.
ПКС в стандартной форме будет выглядеть следующим образом:
Все мудрые люди - не глупцы.
Некоторые разумные люди - мудрецы.
Значит, некоторые разумные люди - не глупцы.
Проверим это рассуждение тремя способами:
По фигурам:Мажорная премисса: Все S - P
Минорная премисса: Некоторые S - M
Заключение: Некоторые S - P
Это рассуждение является правильным по правилам фигур.
По модусам:
Мажорная премисса: Все S - P
Минорная премисса: Некоторые S - M
Модус силлогизма: Никак не выражено в первоначальной стандартной форме.
Общие правила категорического силлогизма:
Обе премиссы содержат категориальные выражения.
В заключении утверждается категориальное высказывание, не более общее, чем премиссы.
Средний термин (M) входит в обе премиссы, но не входит в заключение.
Таким образом, данное рассуждение является правильным по общим правилам категорического силлогизма.
Суждение "Некоторые разумные люди не являются глупцами" истинно, так как оно следует из корректного силлогизма.