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

Пример сложного высказывания. @. ? = «Когда идёт дождь, отменяются работы в поле, а когда нет работ в поле, тогда в клубе бывают танцы – но ведь идёт дождь, а потому в клубе будут танцы!». Логическая структура этого сложного высказывания ? может быть выявлена, если ввести такие простые высказывания: A = «Идёт дождь», B = «Есть работы в поле», C = «В клубе танцы». Тогда исходное высказывание ? может быть представлено так : ? = (A ? ¬B) (¬B ?C) ? (A ? C).

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

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

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

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

«Логическое умножение, сложение и отрицание» - Логическое отрицание (инверсия). Какие значения даёт логическая операция. Результатом операции логического сложения является «ложь». Истина. Логическое умножение, сложение и отрицание. Логическое сложение (дизъюнкция). Высказывание. Составное высказывание на естественном языке. Логическое умножение (конъюнкция).

«Таблица истинности» - Решение. Пример 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. Решение: (90 < X2) ? (X < (X – 1)) = 1 Из таблицы истинности импликации 1 ? 1 = 1 0 ? 1 = 1 0 ? 0 = 1 X < (X – 1) = 0 для всех X, следовательно (90 < X2) = 0.

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

«Алгебра высказываний» - Алгебра логики (высказываний) -. Джордж Буль (1815-1864, анл.) - основоположник мат. логики. Следовательно, все квадраты - параллелограммы. Логическая операция, соответствующая союзу «тогда и только тогда, когда …». Всякая логическая переменная и символы «истина» («1») и «ложь» («0»)- формулы. Дизъюнкция (логическое сложение) -.

«Логика высказываний» - Будем обозначать высказывания прописными буквами. Если высказывание А истинное, то запишем «А=1», если ложное, то «А=0». Подлинный прогресс науки, называемой математической логикой, был достигнут в середине XIX в. прежде всего благодаря труду английского логика Джорджа Буля «Математический анализ логики».

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

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

Алгебра

35 тем