вають схеми (рис. 7):
В
Рис. 7
У частноотріцательние виділяють судження так само, як у невиделяющем, не розподілений суб'єкт і розподілений предикат, але на відміну від невиделяющего вони в сумі вичерпують універсум. Наприклад, "Деякі діти, і тільки діти, не розуміють цього ". У судженнях цієї форми відносинам суб'єкта і предиката відповідають схеми (рис. 8):
В
Рис. 8
4. Складні судження
Складним називається судження, яке має у своєму складі інші судження. Ці останні, якщо їх більше одного, з'єднуються логічними зв'язками: кон'юнкція, диз'юнкція, імплікацією, еквіваленцію, а якщо в складі складного тільки одне судження, то воно стоїть під запереченням, також що є логічною зв'язкою. Таким чином, можна сказати, що складним називається судження, що містить логічні зв'язки, пов'язані з судженням.
Оскільки складні судження складаються, у кінцевому рахунку, з простих, вони розглядаються лише як значення істиннісних функцій, експонованих логічними зв'язками. Істиннісні значення складних суджень залежать від істиннісних значень складових суджень і від типу їхнього зв'язку. Можна виділити п'ять основних видів логічного зв'язку:
1) одне поряд з іншим - Кон'юнктивна зв'язок;
2) хоча б одне з двох - проста, або слабка, діз'юнктівная зв'язок;
3) тільки одне з двох - сильна, або сувора, діз'юнктівная зв'язок;
4) одне є достатньою умовою для іншого (якщо є перше, то обов'язково є друге) - імплікатівной, або умовний зв'язок;
5) одне є необхідною і достатньою умовою для іншого (якщо є перше, тобто друга, і якщо ні першого, то немає другого) - Еквівалентна зв'язок. p> Тип зв'язку виявляється при аналізі пропозиції, яким виражено складне судження. Наприклад, судження "Історичний, юридичний і філологічний факультети МДУ розміщуються в першому гуманітарному корпусі " містить твердження про трьох факультетах, а точніше, три твердження: "Історичний факультет МДУ розміщується в першому гуманітарному корпусі", "Юридичний факультет МГУ розміщується в першому гуманітарному корпусі", "Філологічний факультет МДУ розміщується в першому гуманітарному корпусі" - і при цьому передбачає їх одночасну істинність. Таким чином, це складне судження складається з трьох простих, кон'юнктивній пов'язаних суджень. Його логічна форма, записана мовою логіки висловлювань, має вигляд: ((p & q) & r).
істінностной значення складних суджень визначають шляхом побудови істиннісних таблиць. Для цього потрібно задати точний зміст логічних зв'язок їх так званими табличними визначеннями. p> Нехай потрібно визначити, за яких істиннісних значеннях простих суджень буде істинним судження форми: ((В¬ p & q) Г‰ (rvp)). Щоб побудувати таблицю істинності, потрібно спочатку, вважаючи, що всі три прості судження (позначені літерами p, q і r) незалежні один в...
