Общая характеристика суждения, его коммуникативная природа. Суждение и предложение. Простые суждения, их виды и состав. Категорическое суждение: субъект, предикат, связка, квантор. Круговые схемы отношений между терминами в простом категорическом суждении. Распределенность терминов в категорическом суждении. Деление суждений по качеству и количеству.

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

Логическое отношение между суждениями: противоположность, противоречие, подчинение, частичная совместимость. Правила логического квадрата. Доказательство как способ обоснования истинности суждений или теорий.