Головна

Логіка предикатів.

  1.  II. Логіка і числення предикатів
  2.  K-значна логіка
  3.  Lt; variant> к?шбасшини? жеку сапаси мен м?мкіншіліктеріне негізделген логіка?а с?йенген білік
  4.  В основному задіяна логіка - свідоме жінки. Він волає до свідомості, совісті, переконань, «поняттями».
  5.  Питання. Навчальний предмет. Структура і логіка навчального предмета.
  6.  Д). Наукове мислення та його логіка. Логіка і мова науки.
  7.  І логіка освітнього процесу

Предикат - функціональне висловлювання.

Висловлення - предикатна константа.

Логіка предикатів - це розширення логіки висловлювань за рахунок використання предикатів в ролі логічних функцій. Ці функції відрізняються від функцій в логіці Буля.

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

Предикатна логічна функція неоднорідна. Для неї область значень логічна, область визначення аргументу - предметна.

ПРИКЛАД:

 = «Петя читає Пушкіна»

 = «Рома читає Пушкіна»

 = «Ваня читає Пушкіна»

замість , ,  можна ввести предикат  , Де х = {Петя, Ваня ...}, а  = «Х читає Пушкіна»

змінимо:

 = «Петя читає Пушкіна»

 = «Рома читає Достоєвського»

 = «Ваня читає Островського»

Тоді Двомісний предикат:  = «Х читає У»

Введемо 3-х місцевий предикат: P (x, y, z), який означає, що "x є сума y і z"

P (x, y, z) = 0 (x  y + z)

P (x, y, z) = 1 (x = y + z)

Нехай x = 5, тоді 3-х місцевий предикат перетвориться в 2-х місцевий.

P (5, y, z) =  (Y, z) = "5 є сума y і z"

Нехай x = 5 і y = 3 -одноместний

P (5, 3, z) =  (Z) = "5 є сума 3 і z"

z = 2, 0-місний предикат або константа

"5 є сума 3 і 2"

Якби ми прийняли z = 1, то P (5, 3, 1) = 0, таким чином при заміщенні предикатом  предикатной змінною величиною  відбувається перетворення n-місного предиката в n-1-місний предикат, якщо приймати конкретне значення  всім, то отримаємо предикатную константу P ( ,  , ...,  , ...,  ) -предікатная Константа, до якої застосовні всі лог-їхніх висловлювань.

 Доказ логічних висловлювань за допомогою методу резолюцій. |  Мінімізація логічних виразів методом Куайна (Квайна).


 Аксіоматичний підхід до доведення логічних виразів в булевої |  Доказ логічних виразів з використанням таблиць істинності. |  Способи докази логічних виразів з використанням спеціальних прийомів. |  Логіка висловлювань та операції логіки висловлювань. |  Таблиці істинності операцій логіки висловлень. |  Відмінності логіки Буля і логіки висловлювань. |  Мотузки логіки висловлювань і перехід від імплікатівной форми до висловлювань на метамові. |  Аксіоми, протиріччя і тавтології в логіці висловлювань. |  Конструктивний підхід до доведення логічних виразів в логіці висловлювань. |  Мінімальна нормальна форма, мінімальне і трансверсального покриття в логіці висловлювань. |

© 2016-2022  um.co.ua - учбові матеріали та реферати