Логика полная,推