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