Разрешения проблема

Определение "Разрешения проблема" в Большой Советской Энциклопедии

Разрешения проблема, важное понятие логики. Разрешения проблема данного множества А конструктивных объектов (относительно некоторого объемлющего множества V конструктивных объектов) называют проблему построения алгоритма, распознающего по всякому объекту из множества V, принадлежит ли он множеству А или нет. Разрешения проблема (более подробно — Разрешения проблема для доказуемости) формальной системы (или исчисления) называется Разрешения проблема множества всех доказуемых формул этой системы относительно множества всех её формул. Семантическая Разрешения проблема (или Разрешения проблема для истинности) интерпретированной формальной системы (формализованного языка) называется Разрешения проблема множества всех истинных формул системы относительно множества всех её формул.