§4. Классификация суждений.

В зависимости от количества субъектов и предикатов суждения делятся на простые и сложные. Простые состоят из субъекта и предиката и имеют формулу S – Р. Сложные состоят из нескольких простых, у которых:

а) при одном субъекте есть несколько предикатов, не исключающих и не обусловливающих друг друга S есть Р(Р1, Р2, Р3,…Рn), например: « Иван есть швец и жнец и на дуде игрец»;

б) при нескольких субъектах, не исключающих и не обусловливающих друг друга, есть один предикат S(S1, S2, S3,…Sn) есть Р, например: «Проказница Мартышка, Осел, Козел, да Косолапый Мишка затеяли сыграть квартет»;

в) при нескольких субъектах есть несколько предикатов: S(S1, S2, S3,…Sn) есть Р(Р1, Р2, Р3,…Рn), например: «студенты Иванов, Петров и Сидоров любят спорт, музыку и охоту»;

г) два простых связаны между собой связкой и получают название по имени связки. При этом связки могут быть разнообразные и в любом сочетании, а цепочки связок сколь угодно длинными (в зависимости от текста).

Наше мышление представляет сложный процесс образования мыслей, которые связаны друг с другом и образуют длинные цепочки, в которых появляются то одни субъекты мысли с предикатными свойствами, то другие. Эти цепочки соединяются с другими цепочками и в конечном счёте образуют текст. Текст, образованный этими цепочками, имеет логическую последовательность. В этом вы можете убедиться, если заглянете в оглавление книги. Но даже если это и не книга, а статья, например, в газете, то вы и там обнаружите последовательность мыслей, заданных заголовком.

Насколько правильно, по правилам выстроены эти тексты, можно выяснить лишь при логическом анализе их структуры и проверив истинность или ложность их с помощью специальных таблиц – матриц истинности или ложности этих цепочек, разбив их на отдельные звенья – простые суждения.

Таблица связок сложных суждений

Название связки	символ	Обыденная речь	Логико-математическая формула
отрицание (внешнее, внутреннее) связка не	¯ ¬ ~	не р	~ p
Конъюнкция (логическое умножение) связка а, но, и	Λ & x	p и q	p Λ q
Дизъюнкция (логическое сложение) связка или (нестрогая), либо(строгая)	V +	p или q p либо q	p V q p V* q * - символ строгости
Импликация (условие) связка если…..то….	→ >	если р, то q	P  q
Эквиваленция (биусловие) связка тогда и только тогда, когда	 ≡	p тогда и только тогда, когда q	p ≡ q

Простые суждения еще называют категорическими, поскольку они состоят из понятий, образующих безусловное неделимое целое: субъект и предикат ( S – P).