|
Определение. Предикатом 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.
Элементы векторной алгебры Примеры решения задач
Уравнение плоскости в отрезках.
Если в общем уравнении Ах + Ву + Сz + D = 0 поделить обе части на -D
, заменив
, получим уравнение плоскости в отрезках:
Числа a, b, c являются точками пересечения плоскости соответственно с осями х, у, z.
Уравнение плоскости в векторной форме.
где
- радиус- вектор текущей точки М(х, у, z),
- единичный вектор, имеющий направление, перпендикуляра, опущенного на плоскость из начала координат. a, b и g - углы, образованные этим вектором с осями х, у, z. p – длина этого перпендикуляра. В координатах это уравнение имеет вид: xcosa + ycosb + zcosg - p = 0. Логарифмическое дифференцирование
Расстояние от точки до плоскости. Расстояние от произвольной точки М0(х0, у0, z0) до плоскости Ах+Ву+Сz+D=0 равно:
Пример. Найти уравнение плоскости, зная, что точка Р(4; -3; 12) – основание перпендикуляра, опущенного из начала координат на эту плоскость.
Таким образом, A = 4/13; B = -3/13; C = 12/13, воспользуемся формулой: A(x – x0) + B(y – y0) + C(z – z0) = 0.
изменить порядок интегрирования Математика Примеры решения задач
Пример. Найти уравнение плоскости, проходящей через две точки P(2; 0; -1) и Q(1; -1; 3) перпендикулярно плоскости 3х + 2у – z + 5 = 0. Вектор нормали к плоскости 3х + 2у – z + 5 = 0
параллелен искомой плоскости. Получаем:
Неопределенный интегралВекторное произведение векторов Трассировка пиксельных изображений Adobe Illustrator Линейные блоковые коды
