<<  Сложные высказывания Таблицы истинности  >>
Пропозициональные связки

Пропозициональные связки. Для сокращённой записи сложных высказываний используют пропозициональные связки, которые вводятся следующим образом : Например, следующие соотношения. ?1 = «не верно, что ?1 », ?2 = «?2 и ?3 », ?3 = «?3 или ?4 », ?4 = «если ?3 , то ?4 ». При помощи пропозициональных связок можно записать короче:

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

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

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

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

«Упростить логическое выражение» - Пример 1. Упростить логическое выражение: По закону непротиворечия. Логические законы и правила преобразования логических выражений. Пример 3. Упростить логическое выражение: Воспользуемся правилом дистрибутивности и вынесем за скобки А: (А ^ В) v (А ^ ¬В) = А ^ (В v ¬В). Пример 5. Упростить логическое выражение:

«Логические таблицы истинности» - Для составления таблицы необходимо: Установить последовательность выполнения логических операций. Заполнить таблицу истинности по столбцам. Таблица истинности сложного логического выражения. Таблицы истинности. Как правильно составить и использовать? Выяснить количество столбцов = количество переменных + количество логических операций.

«Правила преобразования логических выражений» - По правилу дистрибутивности. Решение логического уравнения. Законы логики. По правилу исключения констант. Правило коммутативности А & В = В & А А 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).

«Таблица истинности» - Решение: (50<X2)?(50>(X+1)2) = 1 Из таблицы истинности импликации (X2>50) = 1 (X+1)2 < 50 = 1 x<-?50 или x>?50 -?50< (x+1) <?50. Решение: (90 < X2) ? (X < (X – 1)) = 1. Батончик: Пончик врет ¬(¬Б/\ Л) . Проверка. (50<X2)?(50>(X+1)2) при x= 7 (50<72)?(50>(7+1)2) (50<49)?(50>64) истина при x= -8 (50<(-8)2)?(50>(-8+1)2) (50<64)?(50>49) истина.

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

«Логические законы» - Распределительный (дистрибутивный) закон. Закон двойного отрицания. Переместительный (коммутативный) закон. Двойное отрицание исключает отрицание. Закон общей инверсии ( законы де Моргана). Т.к. в данном случае такой операцией является логическое сложение, то на выходе логической схемы должен стоять дизъюнктор.

Всего в теме «Алгебра логики» 19 презентаций
Урок

Алгебра

35 тем