<<  Вычисление истинностных значений Тавтологии и противоречия  >>
Символы метаязыка

Символы метаязыка. В метаязыке используются следующие символы (для сокращения стандартных оборотов естественного языка): мета-импликация ? – читается: «если … , то …», «следует»; мета-эквивалентность ? – читается: «тогда и только тогда», «равносильно»; квантор общности ? – читается: «для любого», «для всех»; квантор существования ? – читается: «существует», «найдется хотя бы один». Эти символы иногда включают в алфавиты формальных языков, однако здесь все они представляют собой элементы не формального языка, но того метаязыка, на котором можно рассуждать о формальном языке логики высказываний (пропозициональном языке). К средствам метаязыка можно отнести и символ принадлежности ? : запись x?X означает, что элемент x принадлежит множеству X . Формальный язык – это язык, предназначенный для записи формальных предложений (в нашем случае – пропозициональных формул) Метаязык – это язык, на котором можно говорить о формальном языке.

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

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

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

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

«Логические операции» - Число строк делится на 4 части. Исключающее ИЛИ (строгая дизъюнкция). Простые высказывания могут быть связаны между собой словами И, ИЛИ, НЕ. Таблица истинности. А = 2 + 2 = 4; В = рыбы живут на суше; Определение через основные функции: В следующих столбцах – значения истинности последовательно выполняемых операций и окончательного результата.

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

«Таблица истинности» - Слесарь живет левее Учителя С У. Пример 8. Пончик, Ленчик и Батончик нашли клад. Дом 1 Дом 2 Дом 3 Дом 4. Следствие установило, что один оба раза солгал, а остальные говорили правду. Решение: (90 < X2) ? (X < (X – 1)) = 1 Из таблицы истинности импликации 1 ? 1 = 1 0 ? 1 = 1 0 ? 0 = 1 X < (X – 1) = 0 для всех X, следовательно (90 < X2) = 0 если 90 =>X2.

«Булевы функции» - Булевы переменные и функции. Двойственность булевых функций. Булевы функции двух переменных. Эквивалентные формулы. Построить таблицу истинности. Прочтение. Идемпотентность конъюнкции и дизъюнкции. Основные определения. Принцип двойственности. Значение двоичного кода. Булевы функции и алгебра логики.

«Алгебра высказываний» - Следовательно, все квадраты - параллелограммы. Все ромбы - параллелеграммы. Формальная логика. Простые и сложные высказывания. 5. Основные операции алгебры высказываний. Что такое логика? Логики: Алгебра логики (высказываний) -. 1. Что такое логика? Всякая логическая переменная и символы «истина» («1») и «ложь» («0»)- формулы.

«Понятие логического высказывания» - Два простых высказывания. Логическая переменная. Умозаключение. Конъюнкция. Высказывание – это формулировка своего понимания окружающего мира. Дизъюнкция. Основные определения. Примеры. Дж. Буль. Найти множество значений. Как человек мыслит. Логика – это наука о формах и способах мышления. Алгебра – это наука об общих операциях.

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

Алгебра

35 тем