Тавтология. - раздел Математика, ТЕМА АЛГЕБРА ВЫСКАЗЫВАНИЙ. ОСНОВНЫЕ ОПЕРАЦИИ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ Пусть Дано Высказывание А× А И Необходимо Составить Таблицу Истинности....
Пусть дано высказывание А× А и необходимо составить таблицу истинности.
Высказывание А×ложно, истинность его не зависит от истинности высказывания А.
А
А×
Рассмотрим высказывание В+.
В этом случае высказывание В+всегда истинно, независимо от истинности В.
В
В+
ОПРЕДЕЛЕНИЕ. Высказывания, истинность которых постоянна и не зависит от истинности входящих в них простых высказываний, а определяется только их структурой, называются тождественными.
Различают тождественно-истинные и тождественно-ложные высказывания.
ОПРЕДЕЛЕНИЕ. Если высказывание истинно при всех значениях входящих в него переменных, то такое высказывание называется тождественно истинным или тавтологией (обозначается константой 1)
Пример 5. Составьте таблицу истинности для формулы (XÙY)®(XÚY)
X
Y
XÙY
XÚY
(XÙY)®(XÚY)
Из таблицы видно, что при всех наборах значений переменных Х и Y формула принимает значение 1, то есть является тождественно истинной.
ОПРЕДЕЛЕНИЕ. Если высказывание ложно при всех значениях входящих в него переменных, то такое высказывание называется тождественно ложным (обозначается константой 0)
Пример 6. Составьте таблицу истинности для формулы :
Из таблицы видно, что при всех наборах значений переменных x и y формула принимает значение 0, то есть является тождественно ложной.
В формулах каждое тождественно-истинное высказывание заменяется 1, а тождественно-ложное - 0. Закон исключенного третьего. A׺0 В+º1
Пример 7. Докажите с помощью ТИ, что формулыи эквивалентны.
X
Y
ТЕМА «СОСТАВЛЕНИЕ ТАБЛИЦ ИСТИННОСТИ. ЗАКОНЫ ДЕ МОРГАНА»
Что такое логика Формальная логика Математическая логика... LOGOS греч слово понятие рассуждение разум... Слово логика обозначает совокупность правил которым подчиняется процесс мышления...
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ:
Тавтология.
Что будем делать с полученным материалом:
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Этапы развития логики.
I. АРИСТОТЕЛЬ (384-322 гг. до н.э., древнегреческий философ) - основоположник логики.
Написал книги «Категории», «Первая аналитика», «Вторая аналитика».
Аристотель создавал логику
Применение математической логики.
1) Логика оказала влияние на развитие математики, прежде всего теории множеств, функциональных систем, алгоритмов, рекурсивных функций.
2) В гуманитарных науках (логика, криминалистика).
Алгебра высказываний. Простые и сложные высказывания.
Алгебра высказываний - раздел математической логики, изучающий высказывания и логические операции над ними.
Высказывание - это повествовательное предложение, о котором можно сказать
Эквивалентность высказываний.
С помощью таблиц истинности можно установить эквивалентность двух или нескольких высказываний.
ОПРЕДЕЛЕНИЕ.Высказывания называются эквивалентными,
А) Беседа.
1. Что такое таблица истинности? 2. Для чего применяются таблицы истинности?
3. Расскажите технологию построения таблиц истинности.
4. Что такое эквивалентность? 5. Чем отличается
II. Составление таблиц истинности.
Упражнение 1. Из простых высказываний: “Виктор хороший пловец” - А; “Виктор хорошо ныряет” - В; “Виктор хорошо поет” - С, составлено сложное высказывание, формула которого имеет ви
Законы логики.
Равносильности формул логики высказываний часто называют законами логики. Знание законов логики позволяет проверять правильность рассуждений и доказательств. Нарушения этих законов приводят к логич
Решение.
а) Раскроем скобки (A+B)·(A+C)ºA×A+A×C+B·A+B·C
б) По закону идемпотентности A·AºA, следовательно, A×A+A×C+B·A+B·CºA+A×C+B·A+B·C
в) В в
Новости и инфо для студентов