Можно решать силлогизмы м в более формализованной форме
S1 - P V SAP
III. Часто мы имеем дело более неординарными высказываниями которые требуют более сложных логических действий . Пример: Сделайте вывод из посылок, если это возможно: Ни один добрый поступок не является незаконным. Все, что законно, можно делать без страха. 1) обратим внимание на употребление терминов в посылках в противоположном смысле «Законный» и «незаконный». Это свидетельствует о том, что для дальнейшего рассуждения и вывода необходимо провести логическую операцию превращение в одном из суждений. Ни один добрый поступок не является незаконным (VSEP) -> (VSA~P) Все добрые поступки являются законными. 2) переписываем посылки вполученной форме, меняем их местами, т.к. большая посылка должна быть первой и начинаем ихформализовать.
|
Получаем М - Р V MAP Фигура 1, правильный модус ААА
S1 - М V SAM
