Основы логики и логические основы компьютера. Пример высказывания в математике