Общая характеристика высказывания. Высказывание как минимальная единица информации. Высказывание и предложение. Виды предложений. Логическая структура и виды простого высказывания. Выражение логической структуры высказывания на языке алгебры логики. Смысл и значение высказываний, понятие истинностного значения.
Модальные высказывания. Основные виды модальности и их логическая характеристика. Модальная характеристика нормативных (правовых) высказываний. Проблема истинности нормативных высказываний. Введение в деонтическую логику.
Отношения между высказываниями по логическому квадрату. Операция отрицания высказывания. Внутреннее и внешнее отрицание.
Сложные высказывания. Табличный способ установления истинности сложных высказываний. Понятие тождественно-истинной формулы логики высказываний.