Какие основные понятия использует логика