Все добрые поступки являются законными. VSAP
Формализуем данные суждения: S - все, что законно
S1 – добрые поступки
S =M=P1 1 фигура, модус ААА – верный. VS1AP
Вывод Все добрые поступки можно делать без страха
IV. порой попадаются еще более сложные случаи, требующие ряда операций обращения и превращения. Сделайте вывод из посылок. Каждый победитель не прочь выпить шампанского . Любой побежденный склонен к самооправданию Мы уже знаем, что одна из посылок требует превращения, но в процессе превращения получается отрицательное суждение с которым трудно работать, поэтому проводим ряд операций. Выбираем посылку «Любой побежденный (S) склонен к самооправданию» (P) Проводим операции - превращения – обращения – превращения VSAP -> VSE~P -> V~PES -> V ~PAS Получаем посылку; «Всякий не склонный к самооправданию является победителем». Переписываем посылки, ставим большую на первое место и формализуем их.
|
Р - то, что можно делать без страха M P VMAP
Р1 - законны S1 M VS1AM
