- це складне судження, що приймає логічне значення істини тоді і тільки тоді, коли істинним є, принаймні, одне з простих суджень, що входять у складне. Наприклад, «Письменники можуть бути або поетами, або прозаїками».
Нестрогая диз'юнкція виражається за допомогою граматичного спілки «або, або» в розділової-соединительном значенні. Символічно нестроге (невиключає-щее) диз'юнктивне судження записується: pv q.
Логічне значення нестрогой диз'юнкції відповідає таблиці істинності: р q pvq І І І І Л І Л І І Л Л Л.
|
- кон'юнктивний судження
нестрогая (невиключає)
- 4.3. Складні судження
невиключає (слабка) диз'юнкція - логічний союз «або» має сполучно-розділову значення, що виключає (сильна) диз'юнкція - логічний союз «або ... , Або ... »має чисто розділову значення, імплікація - логічний союз« якщо ... , То ... »якимось чином (не обов'язково за змістом) з'єднує два судження, пов'язані між собою (граматичний союз« якщо ..., то ... », на відміну
- контрольні роботи
нестрогая диз'юнкція), умовні (імплікатівние) або еквівалентному. «Коли б на то чи не Божа воля - не віддали б Москви» (Лермонтов). «Не інакше вміли вони любити свого бога, як розіпнувши людини» (Ф. Ніцше). Всі люди народжуються вільними і рівними. Вправа 4. Зробіть висновок шляхом перетворення. Всі студенти нашої групи є устигаючими. Жодна загарбницька війна не є справедливою.
- ЕКЗАМЕНАЦІЙНІ ПИТАННЯ
нестрогая. Правила виведення, які стосуються диз'юнкції. Кон'юнкція. Правила виведення, які стосуються кон'юнкції. Заперечення і подвійне заперечення. Правила виведення, що відносяться до заперечення. Імплікація, парадокси матеріальної імплікації. Правила виведення, які стосуються імплікації. Еквівалентність. Правила виведення, які стосуються еквівалентності. Поняття необхідної і достатньої умови. Вираз одних
- 5.3. Індуктивні умовиводи І умовиводи ПО аналогії
нестрогая і помилкова. Сувора аналогія застосовується в наукових дослідженнях, в математичних доказах. Вона досить близька за своїми ознаками до дедуктивним умовиводів. Для підвищення ступеня ймовірності висновків за нестрогой аналогією слід дотримуватися наступних правил: число загальних ознак має бути можливо великим і різнорідним; загальні ознаки повинні бути істотними;
- 7.1. Доказ і спростування
диз'юнкції суджень, про яку відомо, що вона істинна. Розділову доказ будується з спростування всіх членів диз'юнкції крім одного, наприклад: Чемпіоном студентської спартакіади міг стати або А., або В., або С. Відомо, що не стали чемпіонами ні А., ні В. Чемпіоном став С. У Апагогіческое непрямому доказі (від грец. apagoge - висновок) висновок про істинність тези робиться
- Поняття логічної форми
диз'юнкція в значенні граматичного спілки «або ... або». z> - логічний союз імплікація, виражається словами «якщо ..., то ...». Пропозіціональная функція - це вираз, що містить змінні і що перетворюється на висловлювання при підстановці замість змінних відповідних дескриптивних
- 2.5. Складні судження та їх види. Поняття про логічне союзі
диз'юнкції, імплікації, еквівалентності і заперечення. Логічний союз - це спосіб з'єднання простих суджень у складне, при якому логічне значення останнього встановлюється відповідно до логічними значеннями складових його простих суджень. Особливість складних суджень полягає в тому, що їх логічне значення, тобто істинність або хибність, визначається не смисловий зв'язком
- Строга (що виключає) диз'юнкція
диз'юнкція виражається за допомогою граматичного союзу «або, або». Символічно суворе (що виключає) диз'юнктивне судження записується: jMq або pSLq. Логічне значення суворої диз'юнкції відповідає таблиці істинності: р q pVq І І Л І Л І Л І І Л Л Л
- 2.6. Вираз одних логічних зв'язок допомогою інших
диз'юнкцію; (р Zj q) = (р Л q) - імплікація через кон'юнкцію; (р Z) ц) = (q Z) р) - імплікація через імплікації , так званий закон простий (зліва-направо) і сильною (справа-наліво) контрапозиции; (р л q) = (р vq) - кон'юнкція через диз'юнкцію; (р / Cj) = (р / Ц) - диз'юнкція через кон'юнкцію; (р / q) = (р Zj q) - кон'юнкція через імплікації; (р / q) = (р ZJ q) - диз'юнкція через імплікації;
|