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