"justify"> в) пояснення перевірки правильності ПКС по модусу.
Зміст:
Умовивід: В«Ніякої магії не існує. Професор Воланд - маг. Отже, ..... В»
Рішення:
а. Формалізація ПКС:
) Жодна магія не є те, що існує.
) Професор Воланд є маг.
) Професор Воланд не те, що існує.
б. Структурні елементи ПКС можна виділити за наступним алгоритмом:
знаходимо висновок ПКС, на яке вказують слова: значить, тому, отже, і т.п. У даному ПКС висновок В«Професор Воланд не є те, що існуєВ», так як це судження стоїть після слів В«отжеВ»;
знаходимо менший і більший терміни за висновком. У даному ПКС менший термін поняття В«професор ВоландВ», так як воно займає місце суб'єкта, а більший термін поняття "не сушествуетВ», так як воно займає місце предиката;
знаходимо меншу і більшу посилки щодо меншого і більшого термінам. У даному ПКС менша посилка судження В«Професор Воланд - магВ», оскільки в ній знаходиться менший термін В«професор ВоландВ», а велика посилка судження В«Ніякої магії не існуєВ», оскільки в ній знаходиться більший термін В«не існуєВ»; p>
знаходимо середній термін в посилках ПКС. У даному ПКС середній термін поняття В«магВ», так як воно є в посилках, але відсутній у висновку. p align="justify"> в. Даний ПКС потрібно записати таким чином:
Б. п. Жодна магія (М) не є те, що існує (Р).
М. п. Професор Воланд (S) є маг (M).
Закл-е Професор Воланд (S) не є те, що існує (P).
р. Даний ПКС побудований за першій фігурі, оскільки середній термін займає місце суб'єкта в більшій посилці і місце предиката у меншому посилці, що відповідає побудові першої фігури. p align="justify"> д. Даний ПКС має модус: ЕАЕ, так як велика посилка є общеотріцательних судженням, менша посилка - общеутвердітельное судження і висновок - общеотріцательное судження. p align="justify"> е. Даний ПКС правильний, так як модус ЕАЕ першої фігури є правильним, що можна встановити за переліком модусів у кожної фігури, які наведені в підручниках з логіки. br/>
Завдання 7
Формулювання:
Використовуючи умовну посилку, побудуйте правильне умовно-категоричне умовивід (УКУ):
. по стверджує модусу;
а) виділіть структурні елементи УКУ: умовну посилку, вказавши в ній підставу і наслідок, категоричну посилку і висновок; позначте їх відповідними символами;
б) вказівки спрямованості виведення УКБ;
в) перевірте правильність УКУ.
. За отрицающему модусу.
...