Досліджується підхід до побудови машино-орієнтованих числень пошуку спростування у логіці першого порядку, що спирається на узагальненні поняття диз"юнкту. Наводяться результати про коректність та повноту числення, яке ґрунтується на цьому узагальненні.