судження
СУДЖЕННЯ - форма мислення, в якій стверджується або заперечується що-небудь стосовно предметів і явищ, їхніх зв'язків і відношень. С. має властивість виражати або істину, або хибність. Мовним еквівалентом С. є розповідне речення. Якщо в С. стверджується чи заперечується те, що є в дійсності, то воно істинне, у противному разі - хибне. Здатність С. бути істинним або хибним називається істиннісним значенням С. До С. не належать речення, які не можна схарактеризувати як істинні або хибні (питальні, наказові тощо). Складовими частинами С. виступають суб'єкт (S), предикат (Р) і зв'язка ("є", "не є") С. уб'єкт і предикат називаються термінами С. Якщо до складу С. входять тільки два терміни, воно називається простим, якщо більше - складним. Властивість С. бути ствердним або заперечним називається якістю С., а обсяг, в якому береться суб'єкт С., - кількістю. За кількістю і якістю, взятих разом, прості С. поділяються на загальноствердні (А), загальнозаперечні (Е), частковоствердні (І) і частковозаперечні (О). Складні С. утворюються з простих за допомогою логічних зв'язок "і" (кон'юнкція), "або" (диз'юнкція), "якщо.., то..." (Імплікація), "якщо і тільки якщо.., то..." (еквіваленція, або подвійна імплікація). Істинність або хибність складних С. залежить від значень істинності простих С., що входять до їхнього складу. У сучасних логічних теоріях замість терміна "С." вживають термін "висловлювання", але багато авторів небезпідставно вважають їх синонімами.Д. Кирик