<<  Композиция подстановок Композиция подстановок  >>
Композиция подстановок

Композиция подстановок. Теорема (композиция подстановок). Допустим, у нас есть выражение t и допустимые подстановки ? и ? при dom(?) ?dom(?)= ? и dom(?) ?cod(?)= ?. Тогда ?? допустимая подстановка и (??)? = t(??) Более того, если ? это подстановка, такая, что dom(?) ?dom(?)= dom(?) ?dom(?)= ?, то также (??)? = ?(??) Доказательство: Допустимость ?? уже была показана выше. Первое равенство следует из индукции на структуре выражения t, второе – из индукции на структуре ?. 35.

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

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

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

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

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

«Законы логики» - Упрощение сложных высказываний. Воспользуемся (¬(A?B)=A& ¬ B). Профессор математики в университетском колледже в Лондоне. Применим (Аv 1= 1 ). Получим:B& (Av1) vA&CvB&C= BvA&CvB&C. Закрепление изученного №1 Упростите выражение: F = ¬ (A&B) v ¬ (BvC). Основные труды по алгебре, математическому анализу и математической логике.

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

«Функции алгебры логики» - Методы дискретного анализа в организационных системах. Класс монотонных функций М - замкнутый класс. Алгебраические свойства элементарных операций. Английский математик. Джордж Буль. Класс линейных функций. Замкнутый класс. Булеву функцию можно выразить формулой над множеством операций. Произвольный набор значений переменных.

«Таблица истинности» - Пример 1. Для какого из указанных значений X истинно высказывание ¬ ((X >2) ? (X>3))? 1)x=1 2) x= 2 3) x= 3 4) x= 4. Решение: (50<X2)?(50>(X+1)2) = 1 Из таблицы истинности импликации (X2>50) = 1 (X+1)2 < 50 = 1 x<-?50 или x>?50 -?50< (x+1) <?50 (-?; -7) U(7;+?) [-8; 6) [-8; -7) (X2>50) = 0 (X+1)2 < 50 = 1 X2<=50 -?50<= x<=?50 -?50< (x+1) <?50 [-7; 7] [-8; 6) [-7; 6) (X2>50) = 0 (X+1)2 < 50 = 0 [-7; 7] (-?; -8) U[6;+?) [6;7] Ответ: наибольшее целое x=7.

«Логика высказываний» - Если высказывание А истинное, то запишем «А=1», если ложное, то «А=0». Идею о возможности математизации логики высказал ещё в ХVII в. немецкий логик Готфрид Вильгельм Лейбниц. Будем обозначать высказывания прописными буквами. Данная фраза является парадоксаль-ным утверждением. Определите, какие из следующих фраз являются высказываниями с точки зрения алгебры логики.

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

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

Алгебра

35 тем