е пропозицію, істинність якого встановлюється за допомогою докази (міркування) [8, с.123].
Судження є думка, в якій при її висловлюванні щось стверджується або заперечується і яка об'єктивно є або істинною, або хибною і при цьому неодмінно вірно одне з двох [15, 110].
Судження - це речення, в яких виражена думка про предмет, об'єкти, явища. Існують дві основні властивості суджень: щось заперечити чи стверджувати; являтися істинними або помилковими »[12, с.129].
Судження складається з логічного підмета (суб'єкта думки); логічного присудка (предиката думки) і логічної зв'язки.
Крім суб'єкта, предиката і зв'язки в кожному судженні присутній (чи мається на увазі) ще один елемент - квантор.
Квантори бувають двох видів:
1. Квантор спільності. Виражається за допомогою слів: кожен, кожен, всякий, жоден і т.д.
2. Квантор існування. Це слова: більшість, іноді, багато, значна частина, існує.
Розглянемо структуру простих суджень: S зв'язка P.
Буквою S позначається суб'єкт судження, тобто поняття про предмет судження. Буквою P позначається предикат судження, поняття про ознаці того предмета, про який йдеться в судженні [5, с.64]. Зв'язка - це елемент судження, який з'єднує обидва терміни судження, стверджуючи або заперечуючи приналежність предмету деякої ознаки [15, с.111]. Зв'язкою може служити слова «не є», «є», «суть», тире, група слів або просто узгодження слів.
Види простих суджень:
. Судження властивості (атрибутивное). У них формулюються властивості, стану, види діяльності деякого предмета. Наприклад: «Сума внутрішніх кутів будь-якого трикутника дорівнює 180?»;
2. Судження з відносинами (реляційні). У них йдеться про відносини між предметами. Наприклад: «Будь-яка неправильна дріб більше будь правильної»;
. Судження існування (екзистенціальні). У них стверджується або заперечується існування предметів у дійсності. Наприклад: «Існують паралельні прямі» [5, с.64].
Атрибутивні судження поділяються на види за кількістю і якістю.
Кількість - логічна характеристика судження, яка розкриває, в якому обсязі узятий суб'єкт судження (повністю або частково), виражається квантора.
Якість - логічна характеристика судження, що виражає наявність твердження або заперечення у зв'язці [15, с.112].
Розглянемо найбільш поширену класифікацію простих суджень:
. За якістю: ствердними (зв'язка «є», «є»), негативними (зв'язки «не їсти», «не є»);
2. За кількістю: загальні (кванторние слова «все», або «не один»), приватні (кванторное слово «деякі») і поодинокі.
Об'єднана класифікація простих суджень за якістю та кількістю:
. Общеутвердітельние судження. Позначаються літерою А, мають структуру: «Всі S є P». Наприклад, «Всяка неправильна дріб подана в вигляді змішаного числа».
2. Частноутвердітельние судження. Позначаються літерою I. Структура: «Деякі S є P». Наприклад, «Деякі багатогранники є правильними многогранниками».
. Общеотріцательние судження. Позначаються літерою E. Структура: «Жодне S не є P». Наприклад, «Жоден куб не є плоскою геометричною фігурою».
. Частноотріцательние судження. Позначаються буквою O. Структура: «Деякі S не є P». Наприклад, «Деякі прямі не є перехресними» [5, с.65; 15, с.114].
Судження про відносини (реляційні) - судження, в яких йдеться про те, що певні відносини мають місце (або не мають місця) між елементами пар, трійок і т.д. предметів [15, с.114].
Види реляційних суджень:
. Відношення називається рефлексивним, якщо для будь-якого елементу з області його визначення, це відношення має місце. Якщо це відношення має місце не для кожної пари, а лише для деяких, то воно називається нерефлексівним.
2. Відношення називається симетричним, коли для будь-яких пар предметів з області його визначення вірно, що якщо має місце це відношення в парі {x, y}, то воно має місце і в парі {y, x}. Якщо таких пар не існує, то ставлення антисиметрично.
. Відношення називається транзитивним, якщо воно обов'язково має місце для пари {x, z}, за умови його наявності в парах {x, y} і {y, z}. Відношення називається нетранзитивність, якщо такі пари в області визначення існують, але існують і такі пари, для яких це не виконується. Відношення називається антітранзітивням, якщо в області визначення ставлення таких трьох пар не існує [15, с.114].
