Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 4. Как сделать так, чтобы вас уважали и ценили?
Как сделать лучше себе и другим людям
Как сделать свидание интересным?
Категории:
АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника
|
Тождественно истинные, выполнимые, тождественно ложные формулыВыделяют 3 класса формул, тождественно истинные, тождественно ложные и выполнимые. Тождественно истинные формулы (или тавтологии) - это особый класс формул исчисления предикатов, которые принимают значение “истины” для всех интерпретаций входящих в нее предметных постоянных, функциональных и предикатных символов; эти формулы играют роль законов и аксиом исчисления предикатов; любые подстановки и замещения в тождественно истинной формуле не изменяют ее значения. Например, для предиката P2(x, y):=”число x меньше числа y” формула "x$y(P2(x, y)):=”для любого целого числа x найдется число y, большее числа x” является тождественно истинной; для любой F(x) формула $x(F(x))«ù"x(ùF(x)):=“формула ”существуют x, для которых F(x)=и”, эквивалентна формуле “не для всех x F(x)=л”” является тождественно истинной. Тождественно ложные формулы (или противоречие) - это особый класс формул исчисления предикатов, которые принимают значение “ложь” для всех интерпретаций входящих в нее предметных постоянных, функциональных и предикатных символов; любые подстановки и замещения в тождественно ложной формуле не изменяют ее значения. Например, для предиката P2(x, y):=”число x меньше числа y” формула $x"y(P2(x, y)):=”существует целое число x, которое меньше любого целого числа y” является тождественно ложной; для любой F(x) формула $x(F(x))&"x(ùF(x)):=”“существует x, для которой F(x)=и”, и “для всех x F(x)=л ”” является тождественно ложной. Выполнимые формулы - это особый класс формул исчисления предикатов, которые принимают значение “истина”в некоторой области, т.е. не для всех интерпретаций входящих в нее предметных постоянных, функциональных и предикатных символов. Например, формула $x(F(x))®ù"x(F(x)) является истинной для одного элемента множества V и ложной для всех элементов этого множества, т.к. $x(F(x))®ù"x(F(x)):=” если существует x, для которого F(x)=и, то не для всех х универсума F(x)=и”.
|