<<  Правила для дизъюнкции Правила для равенства  >>
Корректные правила дизъюнкции

Корректные правила дизъюнкции. Мы должны объединить попарно альтернативу В со стеком цели S и восстановить S, когда мы делаем бэктрек, рассматривая В. Стек цели S’ во втором правиле отбрасывается, поскольку применяется к цели , которая не может быть успешной. Вместо этого мы восстанавливаем стек цели S, сохраненный с В. Здесь остался один случай, который не покрыт правилами: нет правила для . Общая цель терпит неудачу, если текущая цель неудачна, и здесь нет дальнейших альтернатив. 12.

Слайд 12 из презентации «Логическое программирование»

Размеры: 720 х 540 пикселей, формат: .jpg. Чтобы бесплатно скачать слайд для использования на уроке, щёлкните на изображении правой кнопкой мышки и нажмите «Сохранить изображение как...». Скачать всю презентацию «Логическое программирование.ppt» можно в zip-архиве размером 227 КБ.

Похожие презентации

краткое содержание других презентаций на тему слайда

«Правила преобразования логических выражений» - Правила равносильности А v A = А A & A = A Правила исключения констант А v 1 = 1 А v 0 = A А & 1 = A A & 0 = 0. По правилу исключения констант. Упростить логическое выражение (A & В) v (A & В). (A & В) v (A & В) = А & (B v B) = A & 1 = A. По закону исключения третьего.

«Алгебра высказываний» - Дизъюнкция (логическое сложение) -. Рекомендовал в логике использовать математические методы. 1815 – 1864 гг. благодаря трудам математика Дж. Следовательно, все квадраты - параллелограммы. Силлогизм - рассуждение, в котором из заданных двух суждений выводится третье. Основными формами абстрактного мышления являются: понятия, суждения, умозаключения.

«История алгебры логики» - Понятие. Определение формы. Формы мышления. Аристотель. Логика– это наука о формах и способах мышления. Основной Закон Буля. Вопросы. Высказывание – это форма мышления. Джордж Буль. История науки алгебры логики. Умозаключение. Вильгельм Лейбниц (1646-1716). Содержание. Булева алгебра.

«Законы алгебры логики» - 9. Закон исключения третьего. Логические законы и правила преобразования логических выражений. 8. Закон противоречия. — Для логического сложения: (A + B)*C = (A*C) + (B*C) — для логического умножения: A*B + C = (A + C)*(B+ C). Законы алгебры логики. А * А=0 Закон исключенного третьего. 4. Распределительный (дистрибутивный) закон.

«Таблица истинности» - Пример 4. Для какого из указанных значений X истинно высказывание ¬ ((X>2) ? (X>3))? 1)x=1 2) x= 2 3) x= 3 4) x= 4 Решение: ¬ ((X>2) ? (X>3)) = 1 (X>2) ? (X>3) = 0 Из таблицы истинности импликации 1 ? 0 = 0 Ответ: 3) x= 3. 4. Врач живет рядом с Парикмахером. Пример 5. Для каких значений X истинно высказывание ¬ ((X>2) ? (X>3))?

«Понятие логического высказывания» - Примеры. Составьте и запишите истинные сложные высказывания. Логические операции – логические действия. Умозаключение. Логика – это наука о формах и способах мышления. Дж. Буль. Высказывание – это формулировка своего понимания окружающего мира. Два простых высказывания. Составное высказывание. Найдите значение логических выражений.

Алгебра логики

19 презентаций об алгебре логики
Урок

Алгебра

35 тем