<<  Формальный анализ рассуждения Тавтологии как логические законы  >>
Эквивалентные формулы

Эквивалентные формулы. Две пропозициональные формулы ? и ? эквивалентны ( ? ~ ? ), если их истинностные значения при любой оценке одинаковы: ? ? ? ? ?v?V ( ?(v) = ?(v) ) . Запись ? ?? служит сокращением для записи формулы (? ?? ) (? ?? ). Таким образом вводится ещё одна (производная) пропозициональная связка эквивалентность ? (здесь символ ? есть символ формального языка, в то время как символ ~ является символом метаязыка). Лемма: ? ~ ? ? ? ? ? . ? ? ? ? ? ? 0. 0. 1. 0. 1. 0. 1. 0. 0. 1. 1. 1.

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

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

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

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

«Алгебра логики» - Объем понятия. Дизъюнкция. Эквивалентность. Этапы развития логики. Логические операции. Формы мышления. Город Москва. Логическое умножение. Логическое равенство. Суждения. Логическое сложение. Появление математической, или символической, логики. Металлы. Алгебра высказываний. Импликация. Высказывание.

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

«Таблица истинности» - Леньчик не виноват (¬Л). 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. Кто утаил клад? 7. Иван живет через дом от Андрея.

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

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

«Законы алгебры логики» - 1. Закон двойного отрицания. — Для логического умножения: A* (A + B) = A. Закон тождества: всякое высказывание тождественно самому себе. 2. Переместительный (коммутативный) закон. 3. Сочетательный (ассоциативный) закон. 7. Законы исключения констант. — Для логического сложения. — для логического сложения: А + B = B + A — для логического умножения: A*B = B*A.

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

Алгебра

35 тем