Судження та силогізм у формальній логіці

Істинність і хибність судження називають їх логічними значеннями.Кожне судження має логічне (істиннісне) значення, тобто неодмінно є або істинним, або хибним.Просте атрибутивне судження містить суб'єкт, предикат і зв'язку.Суб'єкт судження - поняття про предмет думки.Суб'єкт судження позначається буквою S, предикат судження - Р.Суб'єкт і предикат називаються термінами судження.У цьому знову-таки виявляється роль судження як форми мислення.Перевіркою істинності суджень займається та наука, предметна сфера якої відображена в судженні.У формі суджень розкриваються зміст і обсяг понять, з'ясовується значення відповідних термінів.Поодинокі [судження] - в яких підмет є індивідуальним поняттям.