Знаймо![]() приховати рекламу
| Цей текст може містити помилки. ПредикатПлан:ВведенняПредикат ( лат. praedicatum - Заявлене, згадане, сказане) - будь-математичне висловлювання, в якому є, щонайменше, одна змінна . Предикат є основним об'єктом вивчення логіки першого порядку. 1. Визначення Предикат (n-місцевий, або n - арний) - це функція з безліччю значень {0,1} (Або "брехня" і "істина"), визначена на множині Предикат можна зв'язати з математичним ставленням : якщо n-ка належить відношенню, то предикат буде повертати на ній 1. Зокрема, одномісний предикат визначає ставлення приналежності деякого безлічі. Предикат - один з елементів логіки першого та вищих порядків. Починаючи з логіки другого порядку, в формулах можна ставити квантори по предикатам. Предикат називають тотожно-істинним і пишуть: якщо на будь-якому наборі аргументів він приймає значення 1. Предикат називають тотожно-помилковим і пишуть: якщо на будь-якому наборі аргументів він приймає значення 0. Предикат називають здійсненним, якщо хоча б на одному наборі аргументів він приймає значення 1. Так як предикати приймають тільки два значення, то до них застосовні всі операції булевої алгебри, наприклад: заперечення, імплікація, кон'юнкція, диз'юнкція і т. д 2. ПрикладиНаприклад, позначимо предикатом EQ (x, y) відношення рівності ("x = y"), де x і y належать безлічі дійсних чисел. У цьому випадку предикат EQ буде приймати справжнє значення для всіх рівних x і y. Більше життєвим прикладом може служити предикат проживають (x, y, z) для відносини "x проживає в місті y на вулиці z" або ЛЮБИТЬ (x, y) для "x любить y", де безліч M - це множина всіх людей. Предикат - це те, що стверджується або заперечується про суб'єкта судження. x, y, z належить R 3. Операції над предикатамиПредикати, так само, як висловлювання, приймають два значення істинне і хибне, тому до них застосовні всі операції логіки висловлювань. Розглянемо застосування операцій логіки висловлювань до предикатів на прикладах одномісних предикатів. 3.1. Логічні операції
3.2. Кванторное операції Квантор (все-) спільності Квантор існування Квантор існування по змінній x 1 Цей текст може містити помилки. Схожі роботи | скачати Схожі роботи: Предикат (лінгвістика) |