Методы косвенного разделительного доказательства в логике