• Гідрологія і Гідрометрія
• Господарське право
• Економіка будівництва
• Економіка природокористування
• Економічна теорія
• Земельне право
• Історія України
• Кримінально виконавче право
• Медична радіологія
• Методи аналізу
• Міжнародне приватне право
• Міжнародний маркетинг
• Основи екології
• Предмет Політологія
• Соціальне страхування
• Технічні засоби організації дорожнього руху
• Товарознавство продовольчих товарів

Визначення

Визначення

Дійсне число Т(р) з інтервалу [0, 1], яке ставиться у відповідність висловленню р, називають значенням істинності висловлення р.

Значення істинності Т(р) можна розуміти як ймовірність того, що висловлення р істинне, причому два висловлення, що мають одне й те ж значення істинності, можна вважати логічно еквівалентними. Значення істинності Т(р) = 1 означає істинність, а значення Т(р) = 0 — хибність висловлення р. Заперечення Øр визначається за допомогою значення істинності таким чином: Т(Øр) = 1 - Т(р).В трьохзначній логіці, наприклад, як значення істинності можна прийняти числа 0, 1/2 і 1. Якщо значення істинності Т(р) = 1/2, то значення істинності Øр також дорівнює 1/2, і р виявляється логічно еквівалентним своєму запереченню. Таке висловлення може бути назване сумнівним, причому заперечення цього висловлення також виявляється сумнівним. Зазначений підхід свідчить про наявність тісного зв'язку між багатозначними логіками і теорією ймовірностей.

Багатозначна логіка розглядає однорідні логічні функції, що визначені на множині (0, 1, ..., k - 1), яка складається з k елементів. В силу однорідності сама функція k-значної логіки від п змінних приймає значення з тієї ж скінченної множини.

Функції k-значної логіки визначені і приймають значення, що входять до деякої множини В_k = {0, 1, ..., k - 1}, що називається алфавітом цієї логіки.

Функцію k-значної логіки однозначно визначає її таблиця значень (істинності). Множину всіх функцій k-значної логіки позначають P_k. Кількість функцій P_k, що залежать від п змінних, дорівнює . Як і у двозначній логіці, висловлення зображуються у вигляді формул k-значної логіки. Елементарні функції зображують узагальнення аналогічних функцій двозначної логіки. Розглянемо основні функції k‑значної логіки.

Унарні функції

1. Циклічне заперечення:

Øх = х + l(mod k),

де у mod k — залишок від ділення у на k.

Таким чином, ця елементарна функція зображує узагальнення заперечення у розумінні «циклічного» зміщення значень:

2.Заперечення Лукашевича:

.

Наведена елементарна функція N_x є іншим узагальненням операції заперечення у розумінні «дзеркального» відображення значень.

3. Узагальнене заперечення:

Елементарна функція І^σ(х)при σ ¹ k – 1 є узагальненням деякихвластивостей заперечення.

4. Характеристична функція:

Функція J^σ(x) — характеристична функція значення а приσ ¹ k – 1 зображує узагальнення операції заперечення.

Бінарні функції

1. Узагальнення кон'юнкції:

min(x_i, х_j).

2. Інше узагальнення кон'юнкції:

x_i х_j (mod k).

3. Узагальнення диз'юнкції:

max(x_i, х_j).

Визначення

Система функцій f₁... f_n називається повною, якщо будь-яка функція з P_k може бути зображена у вигляді формули, що складається з цих функцій.

В k-значній логіці залишаються справедливими деякі закони двозначної, а саме: асоціативності, комутативності, дистрибутивності і т. д. Подібно до функцій двозначної логіки k-значні логічні функції можуть бути задані у вигляді таблиці. Кількість стовпців у таблиці дорівнює kⁿ, де п — кількість змінних, що входять до функції, а кількість функцій визначається числом ,яке швидко зростає із збільшенням k.

В k-значній логіці існує k констант f₀ =0, f₁ = 1, ..., f_k-1 = k - 1. Серед функцій однієї змінної найбільш часто використовуваними є такі:

1) Характеристичні функції i-го порядку — f₀(x), f₁(x), f₂(x),що визначені в таблиці 5.17.

Таблиця 5.17. Функції однієї змінної у трьохзначній логіці

2) Заперечення Лукашевича N_x = k - 1 - х.

3) Функція циклічного заперечення Øх = х + 1 (mod). Таблиці істинності вказаних функцій у трьохзначній логіці будуть мати вигляд, що зображений у таблиці 5.17. Серед функцій двох змінних найбільш важливе значення мають такі:

1) значна диз'юнкція — x₁ Ú х₂= mах(x₁, х₂).

2) значна кон'юнкція — х₁Ù х₂ = mіn(х₁, х₂).

3) Функція Шеффера — Веббах — х₁|х₂ = x₁ Ú х₂ + l(mod k).

4) Додавання за модулем k – x₁+ x₂ (mod k).

5) Множення за модулем k – х₁* х₂ (mod k).

Значення даних функцій при k = 4 зображено в таблиці 5.18.

Таблиця 5.18. Функції двох змінних у чотиризначній логіці

Скориставшись поняттям характеристичних функцій для двозначного випадку, нескладно записати ДДНФ і ДКНФ у багатозначній логіці. Нагадаємо, що основну роль у ДДНФ відіграють елементарні кон'юнкції , які відмінні від нуля лише на одному наборі . При цьому всі вони одержані з кон'юнкції, що відповідає одиничному набору, підстановкою функції від однієї змінної x^σ.

Читайте також:

1. I визначення впливу окремих факторів
2. II. Визначення мети запровадження конкретної ВЕЗ з ураху­ванням її виду.
3. II. Мотивація навчальної діяльності. Визначення теми і мети уроку
4. Ocнoвнi визначення здоров'я
5. Алгебраїчний спосіб визначення точки беззбитковості
6. Аналіз службового призначення деталей та конструктивних елементів обладнання харчових виробництві, визначення технічних вимог і норм точності при їх виготовленні
7. Аналіз стратегічних альтернатив та визначення оптимальної стратегії формування фінансових ресурсів
8. Аналіз ступеня вільності механізму. Наведемо визначення механізму, враховуючи нові поняття.
9. Балансова теорія визначення статі. Диференціація статі і роль гормонів у цьому процесі.
10. Безстатеве розмноження, його визначення та загальна характеристика. Спори — клітини безстатевого розмноження, способи утворення і типи спор.
11. Біостратиграфічні методи визначення віку порід
12. Біуретовий метод визначення білків

Переглядів: 611