Головна |
Логіка предикатів.Предикат - функціональне висловлювання. Висловлення - предикатна константа. Логіка предикатів - це розширення логіки висловлювань за рахунок використання предикатів в ролі логічних функцій. Ці функції відрізняються від функцій в логіці Буля. Булева функція - однорідна, тобто для неї область визначення функції і область визначення аргументу у неї одна і та ж. Це логічна область. (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 ( , , ..., , ..., ) -предікатная Константа, до якої застосовні всі лог-їхніх висловлювань. Доказ логічних висловлювань за допомогою методу резолюцій. | Мінімізація логічних виразів методом Куайна (Квайна). Аксіоматичний підхід до доведення логічних виразів в булевої | Доказ логічних виразів з використанням таблиць істинності. | Способи докази логічних виразів з використанням спеціальних прийомів. | Логіка висловлювань та операції логіки висловлювань. | Таблиці істинності операцій логіки висловлень. | Відмінності логіки Буля і логіки висловлювань. | Мотузки логіки висловлювань і перехід від імплікатівной форми до висловлювань на метамові. | Аксіоми, протиріччя і тавтології в логіці висловлювань. | Конструктивний підхід до доведення логічних виразів в логіці висловлювань. | Мінімальна нормальна форма, мінімальне і трансверсального покриття в логіці висловлювань. | |