Суждение как форма мышления. Суждение и предложение. Роль суждений в мышлении (познании). Истинные и ложные, достоверные, правдоподобные и неправдоподобные суждения. Простые и сложные суждения.
Общая структура и виды простых суждений. Суждения единичные и множественные (категорические). Деление суждений по количеству и качеству. Общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные суждения, запись их логической формы. Отношения терминов в суждении и их распределенность.
Отношения между категорическими суждениями по «логическому квадрату»: контрарность, контрадикторность, субконтрарность и логическое подчинение. Формулировки законов противоречия и исключенного третьего применительно к категорическим суждениям. Логически истинные и логически ложные (противоречивые) суждения.
Логическая форма и виды сложных суждений. Конъюнктивная (соединительная), дизъюнктивная (разделительная) и импликативная (условная) связь между суждениями. Суждения эквивалентности. Понятие необходимого и достаточного условия чего-либо. Связь между утверждением и отрицанием. Перенос внешнего отрицания для категорических суждений.
Ассерторические и модальные суждения. Алетические, деонтические и эпистемические модальности. Логические отношения между однотипными модальными суждениями. Формулировки законов противоречия и исключенного третьего применительно к суждениям с деонтической модальностью.