Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 4. Как сделать так, чтобы вас уважали и ценили?
Как сделать лучше себе и другим людям
Как сделать свидание интересным?
Категории:
АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника
Алгоритм распознавания общезначимости формул в частных случаях
|
|
1. Проблема разрешимости в случае конечных областей.
Очевидно, что проблема разрешимости в случае конкретных областей разрешима. В этом случае кванторные операции можно заменить операциями & и 
и тем самым свести формулу логики предикатов к формуле алгебры логики, для которой проблема разрешимости разрешима.
Пример 1. Формула 
в области 
, состоящий из двух элементов, приводится к виду:
2. Проблема разрешимости для формул, содержащих в предваренной нормальной форме кванторы одного типа.
Определение 1. Формула логики предикатов называется замкнутой, если она не содержит свободных предикатных переменных.
Определение 2. Если формула логики предикатов F содержит свободные переменные 
, то формула 
называется замыканием общности формулы F,
формула 
называется замыканием существования формулы F.
Date: 2015-08-15; view: 986; Нарушение авторских прав