ілову судження. Залежно від числа членів диз'юнкції (альтернатив) виділяють дилеми (2 члена), трілемми (3 члена), полілемми (більше трьох членів). Наприклад, логічна структура відомої казкової ситуації витязя на роздоріжжі (прямо поїдеш - голову складеш, направо поїдеш - коня втратиш, ліворуч поїдеш - дружину знайдеш) має форму трілемми:
(p1? q1) amp; (p2? q2) amp; (p3? q3) vp2vp3vq2vq3.
. Привести приклади чисто умовного умовиводи
Чисто умовним називається умовивід, обидві посилки якого є умовними судженнями.
Приклад:
Якщо винахід створений спільною творчою працею кількох громадян (р), всі вони визнаються співавторами винаходу (q). Якщо вони визнаються співавторами винаходу (q), то порядок користування правами на винахід, створений у співавторстві, визначається угодою між співавторами (г)
Якщо винахід створений спільною творчою працею кількох громадян (р), то порядок користування правами на винахід, створений у співавторстві, визначається угодою між співавторами (г)
У наведеному прикладі обидві посилки - умовні судження, причому наслідок першої посилки є підставою другий (q), з якого, у свою чергу, випливає деякий наслідок (г). Загальна частина двох посилок (q) дозволяє зв'язати заснування першої (р) і наслідок другий (г). Тому висновок також виражається у формі умовного судження.
Схема чисто умовного умовиводу:
(р - gt; q) л (q - gt; г) р - gt; г
Висновок в чисто умовному умовиводі ґрунтується на правилі: наслідок слідства є наслідок підстави.
Умовивід, в якому висновок виходить з двох умовних посилок, відноситься до простих.
3. Привести приклади умовно-категоричного умовиводу. Розкрити специфіку модусів умовно-категоричного умовиводу
Умовно-категоричним називається умовивід, у якому одна з посилок - умовне, а інша посилка і висновок - категоричні судження.
Це умовивід має два правильних модусу: 1) затверджує і 2) заперечує.
. У стверджуючому модусі (modus ponens) посилка, виражена категоричним судженням, стверджує істинність підстави умовної посилки, а висновок стверджує істинність слідства; міркування направлено від ствердження істинності підстави до утвердження істинності слідства.
Приклад:
Якщо позов пред'явлений недієздатною особою (р), то суд залишає позов без розгляду (q)
Позов пред'явлений недієздатною особою (р)
Суд залишає позов без розгляду (q)
Перша посилка - умовне судження, що виражає зв'язок підстави (р) і слідства (q). Друга посилка - категоричне судження, в якому стверджується істинність підстави (р): позов пред'явлений недієздатною особою. Визнавши істинність підстави (р), ми визнаємо істинність слідства (q): суд залишає позов без розгляду.
. У отрицающем модусі (modus tollens) посилка, виражена категоричним судженням, заперечує істинність слідства умовної посилки, а висновок заперечує істинність підстави. Міркування направлено від заперечення істинності слідства до заперечення істинності підстави. Наприклад:
Якщо позов пред'явлений недієздатною особою (р), то суд залишає позов без розгляду (q)
Суд не залишив позов без розгляду (Не-q)
Невірно, що позов пред'явлений недієздатним особою (яка не-р)
. Привести приклади розділової-категоричних умовиводів. Розкрити специфіку модусів розділової-категоричного умовиводу
Разделительно-категоричним називається умовивід, у якому одна з посилок - розділову, а інша посилка і висновок - категоричні судження.
Прості судження, з яких складається розділову (диз'юнктивне) судження, називаються членами диз'юнкції. Приклад, розділову судження «Облігації можуть бути представницькими або іменними» складається з двох суджень - диз'юнктів: «Облігації можуть бути представницькими» і «Облігації можуть бути іменними», з'єднаних логічним союзом «або».
Стверджуючи один член диз'юнкції, ми з необхідністю повинні заперечувати інший і, заперечуючи один з них, - стверджувати інший. Відповідно до цього розрізняють два модуси розділової-категоричного умовиводу: (1) утверждающе-який заперечує і (2) отрицающе-який стверджує.
. У утверждающе-отрицающем модусі (modus ponendo tollens) менша посилка - категоричне судження - стверджує один член диз'юнкції, висновок - також категоричне судження - заперечує інший її член. Наприклад;
Облігації м...