Теми рефератів
> Реферати > Курсові роботи > Звіти з практики > Курсові проекти > Питання та відповіді > Ессе > Доклади > Учбові матеріали > Контрольні роботи > Методички > Лекції > Твори > Підручники > Статті Контакти
Реферати, твори, дипломи, практика » Курсовые проекты » Структура числення предикатів - побудова логічного висновку

Реферат Структура числення предикатів - побудова логічного висновку





азвичай напрошуються самі собою в силу того, що завдання значень окремих термінів - складових формулу - здійснюється за допомогою виразів природної мови. Ми говоримо В«Значення Р2 - більше, a в‚Ѓ і a в‚‚ - відповідно Сидоров та Петров В»і т. п.). Це означає, що приписування предметних значень виразів описуваного мови здійснюється методом переведення їх у той чи інший природний мову. Може здатися, що при згаданих перекладах висловлювань даної мови на природний втрачається та сама точність їх виразів, заради досягнення якої якраз і будуються формалізовані мови. Однак точність тут в порівнянні з природними мовами досягається не за рахунок більш точного вживання окремих термінів, - достатня точність їх вже повинна бути забезпечена при здійсненні інтерпретації виразів формалізованої мови - а за рахунок певних, стандартних способів побудови висловлювань та їх логічних форм. І вона саме зберігається, або точніше сказати, повинна зберігатися при зазначених перекладах.

Для складних формул маємо, припускаючи, що всі складові їх формули повністю інтерпретовані.

Формула виду А & В має значення В«істинаВ» - при даної інтерпретації та приписуванні значень вільним змінним - тобто тобто А має значення І і В має значення І.

Формула A v В - істина е. тобто значення А одно І або значення У одно І.

Формулі виду А вЉѓ У приписується значення І е. тобто А має значення Л або В має значення І.

Значним формул виду В¬ А є І е.т.е. значення А є Л.

Формула виду в€Ђ х А (х) має значення В«істинаВ» е. тобто для всякого предмета а (i) з D, А (а (i)) - істина (А (а (i)) - результат заміщення всіх вільних входжень х в А (х) константою а (i) В№).

Формула виду в€ѓ х А (х) має значення істина е. тобто існує предмет а в області D такий, що істинна формула A (a (i)).

Якщо значення деякої формули не є І, то вона має значення Л, але ніяка формула не має одночасно значення І і Л.

Як вже говорилося, правила приписування істиннісних значень повністю інтерпретованим формулами неявним чином визначають також значення логічних констант В«&В», В«vВ», В«вЉѓВ», «¬» і кванторів в€Ђ і в€ѓ і разом з тим і смисли висловлювань, утворених за допомогою відповідних констант. Наприклад, висловлювання виду в€Ђ х А (х), в€ѓ х А (х), що відносяться до деякої області індивідів D, ми повинні розуміти, відповідно, як В«для всякого предмета х з D вірно А (х} В»іВ« існує предмет х в D такий, що вірно А (х) В». Неважко бачити, що &, v, вЉѓ, В¬, являють собою тут логічні зв'язки - знаки функцій істинності, - визначені раніше в розділі В«Логіка висловлюваньВ», але тепер стосовно до формулами ЯЛП.

Приклади

Визначимо значення формули -

в€Ђ x ((P ВІ (x, a в‚Ѓ) & P ВІ ((x, a в‚‚)) вЉѓ P ВІ (x, y))

за умови, що область можливих значень змінних D є безліч цілих позитивних чисел, констант a в‚Ѓ і a в‚‚ приписані відповідно числа 2 і 3, вільної змінної у - значення 6; предикатний символ Р2 має в...


Назад | сторінка 7 з 13 | Наступна сторінка





Схожі реферати:

  • Реферат на тему: Значення виду та області застосування мінеральних добрив
  • Реферат на тему: Значення російської мови
  • Реферат на тему: Архаїчне Значення слів у словнику української мови
  • Реферат на тему: Причини, основні напрямки та значення реформування російської мови за Петра ...
  • Реферат на тему: Марк Фабій Квінтіліан і його значення для становлення науки про техніку мов ...