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