огічний квадрат лежить в основі всіх умовиводів і являє собою поєднання символів A, I, E, O означають певний тип категоричних висловлювань. p> A - Общеутвердітельние: Всі S є P . p> I - Частноутвердітельное: Принаймні, деякі S є P . p> E - Общеотріцательное: Всі (ні одні) S НЕ є P.
O - частноотріцательние: Принаймні, деякі S не є P.
З них общеутвердітельние і общеотріцательние є подчиняющими, а частноутвердітельние і частноотріцательние - підлеглими. p> Судження A і E протиставлені один одному;
Судження I і O протилежні;
Судження, розташовані по діагоналі - суперечливі. p> Суперечливі і протиставлені судження ні в жодному разі не можуть бути одночасно істинними. Протилежні судження можуть бути або не бути одночасно істинними, але, принаймні, істинним має бути одне з них. p> Закон транзитивності узагальнює логічний квадрат, стаючи основою всіх безпосередніх умовиводів і, визначає що, з істинності підкоряють суджень логічно випливає істинність суджень їм підлеглих і хибність протилежних підлеглих суджень. p> Логічні зв'язки. Кон'юнктивній судження
кон'юнктивній судження - судження, яке є істинним тоді і тільки тоді, коли істинні всі вхідні в нього судження. p> Утворюється допомогою логічного союзу кон'юнкції, що виражається граматичними спілками В«ІВ», В«такВ», В«алеВ», В«однакВ». Наприклад, В«Світить, та не грієВ».
Символічно позначається наступним чином: АВ, де А, В - змінні, що позначають прості судження, - символічне вираження логічного союзу кон'юнкції.
Визначенню кон'юнкції відповідає таблиця істинності:
В
А
В
А В
І
І
І
І
Л
Л
Л
І
Л
Л
Л
Л
В
Диз'юнктивні судження
Мається два види діз'юнктівних суджень: сувора (що виключає) диз'юнкція і нестрогая (Невиключає) диз'юнкція. p> Сувора (Що виключає) диз'юнкція - складне судження, що приймає логічне значення істини тоді і тільки тоді, коли істинно тільки одне з входять до нього суджень або В«яке помилково тоді, коли обидва висловлювання помилковіВ». Наприклад, В«Дане число або кратно, або не кратно п'ятиВ».
Логічний союз диз'юнкція виражається за допомогою граматичного союзу В«або ... абоВ». p> Символічно записується А Л… В.
Логічне значення суворої диз'юнкці...