Можно решать силлогизмы м в более формализованной форме.

Получаем М - Р V MAP Фигура 1, правильный модус ААА

S1 - М V SAM

S1 - P V SAP

III. Часто мы имеем дело более неординарными высказываниями которые требуют более сложных логических действий

.

Пример: Сделайте вывод из посылок, если это возможно:

Ни один добрый поступок не является незаконным. Все, что законно, можно делать без страха.

1) обратим внимание на употребление терминов в посылках в противоположном смысле «Законный» и «незаконный». Это свидетельствует о том, что для дальнейшего рассуждения и вывода необходимо провести логическую операцию превращение в одном из суждений.

Ни один добрый поступок не является незаконным (VSEP) -> (VSA~P) Все добрые поступки являются законными.

2) переписываем посылки вполученной форме, меняем их местами, т.к. большая посылка должна быть первой и начинаем ихформализовать.