Основы логики: Логические высказывания в информатике