Основные понятия и операции формальной логики: курс информатики