Методы доказательства с помощью резолюций