Основные методы логики и их применение