<<  Пример сложного высказывания Подформулы  >>
Пропозициональные формулы

Пропозициональные формулы. Символически записанное сложное высказывание (A ? ¬B) (¬B ?C) ? (A ? C) представляет собой пример пропозициональной формулы. Вообще, пропозициональные формулы (а короче: формулы) строятся из пропозициональных букв (которые представляют собой заглавные буквы латинского алфавита, быть может с индексами), пропозициональных связок и скобок в соответствии с таким формальным определением: Пропозициональная буква есть формула. Если ? и ? формулы, то (¬?), (? ?), (? ?), (???) – тоже формулы.

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

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

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

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

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

«Функции алгебры логики» - Обозначения. Соотношения, связанные с “навешиванием отрицания”. Функция f является двойственной. Класс монотонных функций М - замкнутый класс. Огастес (Август) де Морган. Соотношения между отрицанием, конъюнкцией и дизъюнкцией. Класс всех самодвойственных функций. Конъюнкция. Класс самодвойственных функций.

«Таблица истинности» - Решение: (50<X2)?(50>(X+1)2) = 1 Из таблицы истинности импликации (X2>50) = 1 (X+1)2 < 50 = 1 (X2>50) = 0 (X+1)2 < 50 = 1 (X2>50) = 0 (X+1)2 < 50 = 0. Леньчик не виноват. ((K /\L) –> (L /\ M \/ N)) = 1 1 4 2 3. Решение: (90 < X2) ? (X < (X – 1)) = 1. У одного 0 0 , у двух 1 1 Леньчик Пончик Батончик.

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

«Логические операции» - А, В – логические переменные, которые могут иметь значение ИСТИНА (И), ЛОЖЬ (Л). Порядок заполнения строк для исходных столбцов: 1-й столбец. Импликация. Например: Операции алгебры логики. Существуют другие логические операции. Логическое сложение (дизъюнкция). Отрицание истинного высказывания есть ложь.

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

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

Алгебра

35 тем