Термины логических операций Генетическое определение в логике примеры