<<  Логическое программирование Нормальная форма программ  >>
Дизъюнкция и ложь

Дизъюнкция и ложь. Попытаемся сделать выбора правил явным. Для этого введем новые связки: дизъюнкцию и ложь Ложь это дизъюнкции нулевых альтернатив. 2.

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

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

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

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

«Примеры логических функций» - Заполните таблицу истинности. В нарушении правил обмена валюты подозреваются четыре банка. Определить истинность формулы. Определение. Логические функции. Определите значение формулы, упростив и построив таблицу истинности. Банк B нарушил правила обмена валюты. Определите, кто из подозреваемых участвовал в преступлении.

«Алгебра высказываний» - Всякая логическая переменная и символы «истина» («1») и «ложь» («0»)- формулы. Следовательно, все квадраты - параллелограммы. Следовательно, все киты имеют скелет. 2. Все квадраты - ромбы. Джордж Буль (1815-1864, анл.) - основоположник мат. логики. АРИСТОТЕЛЬ (384-322 гг. до н.э.) - ОСНОВОПОЛОЖНИК ЛОГИКИ.

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

«Логические высказывания» - Пример 1. Логическое отрицание (инверсия). Логическое умножение (конъюнкция). Основным объектом в логике является высказывание. Логическое сложение (дизъюнкция). Выделите в составных высказываниях простые. Таблица истинности функции логического умножения. Решение задач Конспект стр.92 (импликация, эквиваленция).

«Алгебра логики» - Импликация. Число. Суждения. Алгебра логики. Вопросительные и восклицательные предложения. Логическое равенство. Появление математической, или символической, логики. Логические переменные. Понятие. Умозаключение. Логическое сложение. Объем понятия. Упражнения. Дизъюнкция. Инверсия. Город Москва. Предложения не являются высказываниями.

«Упростить логическое выражение» - Пример 2. Упростить логическое выражение: Самостоятельная работа. Пример 1. Упростить логическое выражение: правило де Моргана. Пример 3. Упростить логическое выражение: По закону непротиворечия. Пример 5. Упростить логическое выражение: Найдите X, если По закону де Моргана. По закону идемпотентности.

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

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

Алгебра

35 тем