Основы алгебры логики: Что такое высказывание?