|
Булевы функции.
Определение. Булевой функцией f(X1, X2, …, Xn) называется называется произвольная n – местная функция, аргументы и значения которой принадлежат множеству {0, 1}.
Вообще говоря между логическими высказываниями, логическими связками и булевыми функциями просматривается явная аналогия. Если логические функции могут принимать значения истинно или ложно, то для булевой функции аналогами этих значений будут значения 0 или 1.
Для булевых функций также можно составить таблицы значений, соответствующим основным логическим операциям.
| X1 | X2 | ØX1 | X1&X2 | X1ÚX2 | X1ÞX2 | X1ÛX2 |
| 1 | 1 | 0 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 0 | 1 | 1 | 0 |
| 0 | 0 | 1 | 0 | 0 | 1 | 1 |
Интеграл Фурье Примеры решения задач математика
Исчисление предикатов.
Определение. Предикатом P(x1, x2, …, xn) называется функция, переменные которой принимают значения из некоторого множества М, а сама функция принимает два значения: И (истина) и Л (ложь), т.е.
Предикат от п аргументов называется п – местным предикатом. Высказывания считаются нуль – местными предикатами.
Над предикатами можно производить обычные логические операции, в результате которых получаются новые предикаты.
Кроме обычных логических операций к предикатам применяются также специальные операции, называемые кванторами.
Кванторы бывают двух видов:
1) Квантор общности. Обозначается ("х)Р(х). Квантором общности называется высказывание истинное, когда Р(х) истинно для каждого элемента х из множества М, и ложное – в противном случае.
2) Квантор существования. Обозначается ($х)Р(х). Квантором существования называется высказывание, истинное, когда существует элемент из множества М, для которого Р(х) истинно, и ложное в противном случае.
Операцию связывания квантором можно применять и к предикатам от большего числа переменных.
Для формул логики предикатов сохраняется справедливость всех правил равносильных преобразований логики высказываний. Кроме того, справедливы следующие свойства:
1) Перенос квантора через отрицание.
Ø("x)A(x) º ($x)ØA(x); Ø($x)A(x) º ("x)ØA(x);
2) Вынесение квантора за скобки.
($х)(А(х) & B) º ($x)A(x) & B; ("x)(A(x) & B) º ("x)A(x) & B;
($х)(А(х) Ú B) º ($x)A(x) Ú B; ("x)(A(x) Ú B) º ("x)A(x) Ú B;
3) Перестановка одноименных кванторов.
("y)("x)A(x,y) º ("x)("y)A(x,y); ($y)($x)A(x,y) º ($x)($y)A(x,y);
4) Переименование связанных переменных. Если заменить связанную переменную формулы А другой переменной, не входящей в эту формулу, в кванторе и всюду в области действия квантора получаем формулу, равносильную А.
Исчисление предикатов базируется на приведенных выше свойствах и правилах, называемых аксиомами.
Какими бы ни были формулы А и В для них справедливы следующие аксиомы:
1) A Þ (B Þ A);
2) (A Þ (B Þ C)) Þ ((A Þ B) Þ (A Þ C));
3) (ØB Þ ØA) Þ ((ØB Þ A) Þ B);
4) ("xi)A(xi) Þ A(xj), где формула А(хi) не содержит переменной xi.
5) A(xi) Þ ($xj)A(xj), где формула А(хi) не содержит переменной xi.
|