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