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