Головна

 І ТЕОРІЯ АЛГОРИТМІВ |  множинами |  ВІДНОСИНИ |  ФОРМУЛИ логіки ВИСЛОВЛЮВАНЬ |  ФОРМАЛЬНІ СИСТЕМИ (ТЕОРІЇ) |  обчислення висловлювань |  обчислення предикатів |  Спростування методом резолюції |  K-значна логіка |  Повнота і замкнутість функцій k-значної логіки |

Правило резолюції для обчислення висловлювань

  1.  II. Правило віднімаючи-я суми з числа.
  2.  Адміністративні податкові правопорушення проти дотримання строку подання податкових деклараці? (розрахунків), обчислення податків та їх сплати
  3.  Аксіоми, протиріччя і тавтології в логіці висловлювань.
  4.  базовий підхід до вирішення завдання Коші для систем диференціальних рівнянь за допомогою операційного обчислення
  5.  Сказ - вірусне захворювання, що протікає з важким ураженням нервової системи і закінчується, як правило, смертельним результатом.
  6.  Біогеоценоз та его структура. Трофічні сітки и ланцюги. Правило екологічної піраміди.
  7.  Ймовірність влучення нормально розподіленої СВ в заданий інтервал. Імовірність заданого відхилення нормальної СВ від свого математ.ожіданія. Правило трьох сигм

нехай С1 и С2 - Дві пропозиції в обчисленні висловлювань та нехай  , де p - Пропозіціональная змінна и  - Будь-які пропозиції. У тому числі вони можуть бути порожніми або містити один літерал.

Правило виводу:

Це правило називається правилом резолюції, при цьому С1 и С2 називаються резольвіруемимі (Батьківськими) пропозиціями, а - резольвенти. p і 'p - контрарними літералами.

Зауважимо, що багато правил виведення є окремими випадками правила резолюції:

Теорема: Правило резолюції логічно, тобто резольвента є логічним наслідком резольвіруемих пропозицій.



 Зведення формул до пропозицій |  Правила резолюції для обчислення предикатів
© um.co.ua - учбові матеріали та реферати