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