Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Множество истинности предикатов



(<пэ с крышкой>) - множество истинности предикатов, множество тех значений x, при которых предикат принимает значение <истина>.

Если предикат зависит от двух переменных, то множеством истинности будет множество пар, в которых на 1-ом месте объект из M x, на втором - из M y.

Если (x, y) = < x > y >, M x = {1; 2; 3), то = {(3; 1); (3; 2); (2; 1)}

Если множество совпадает с множеством, на котором задан данный предикат, то предикат называется тождественно истинным.

Если множество пустое, то предикат называется тождественно ложным.

Равносильность высказывательных форм

Высказывательная форма равносильна высказывательной форме , если переменные принимают значение из одного и того же множества и при любом наборе переменных высказывательные формы принимают одинаковые значения истинности.

Равносильные:

x + 1 = 0 <=> x = cos π

| x | > 3 <=> x2 - 90 > 0

| x | < 0 <=> sin x = 2

x = 1 <=> x + y - y = 1

Неравносильные:

x > 0 <≠> y > 0

x = x <≠> = x





Дата публикования: 2015-03-26; Прочитано: 202 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.008 с)...