Формальная и математическая логика Классическое и неклассическое в Истина законы логики примеры