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