Дизъюнкция двух логических переменных ложна тогда и только тогда, когда оба высказывания ложны.
Дизъюнкция двух логических переменных ложна тогда и только тогда, когда оба высказывания ложны. - раздел Математика, ТЕМА АЛГЕБРА ВЫСКАЗЫВАНИЙ. ОСНОВНЫЕ ОПЕРАЦИИ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ Это Определение Можно Обобщить Для Любого Количества Логических Переменных, О...
Это определение можно обобщить для любого количества логических переменных, объединенных дизъюнкцией. А+В+С=0, только если , А=0, В=0, С=0.
Следующие логические законы можно назвать свойствами дизъюнкции.
1. Закон противоречия.
2. Закон равносильности (идемпотентности idem – лат. тот же самый; potens – лат. сильный) А+А=А
3. Закон исключения констант А+1=1, А+0=А
Таблица истинности дизъюнкции имеет следующий вид:
А
В
А+В
Конъюнкция - соединение двух высказываний А и В в одно с помощью союза «и». Логическое умножение.(conjunctio - лат. связываю) Соединение двух простых высказываний A и B в одно составное с помощью союза «и» называют логическим умножением или конъюнкцией, а результат операции — логическим произведением.
Указание о логическом перемножении простых высказываний A и B обозначается так: А*В, АВ, А^В, А&В. Например:
А
В
АВ
"Минск- столица Белоруссии"
"В Минске проживает 1543 тыс. человек"
" Минск- столица Белоруссии и в Минске проживает 1543 тыс. человек"
В русском языке в качестве операции «логическое умножение» помимо союза «и» используются союзы «но» и «а».
Что такое логика Формальная логика Математическая логика... 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
в) В в
Новости и инфо для студентов