Методы опровержения в логике и их применение