
- •Основы логики и логические основы компьютера. Тема: Логика. Основные понятия логики
- •2 Способ.
- •Тема: Суждения, умозаключения – формы абстрактного мышления
- •Тема: Алгебра высказываний
- •Тема: Логические операции
- •Логическое отрицание.
- •Логическое умножение (конъюнкция).
- •Логическое сложение (дизъюнкция).
- •Операция строгой дизъюнкции.
- •Логическое следование (импликация).
- •Логическое равенство (эквиваленция).
- •Приоритет логических операций
- •Тема: Построение таблиц истинности сложных высказываний
- •6. Домашнее задание.
- •Тема: Законы алгебры высказываний
- •Закон непротиворечия: .
- •Закон исключенного третьего: .
- •Закон двойного отрицания: .
- •Контрольная работа №1.
- •Тема: Логические основы эвм
- •Логический элемент «не»
- •Логический элемент «и»
- •Логический элемент «или»
- •Тема: Решение задач по теме «Логические основы эвм»
- •Решение задач.
- •Контрольная работа №2.
- •Оглавление
Логическое умножение (конъюнкция).
Логическое умножение (конъюнкция) образуется соединением двух высказывание в одно с помощью союза «и».
Приведем пример конъюнкции.
Допустим, из вашего окна видна автостоянка, на которой обычно стоят две машины: «Мерседес» и «Жигули», но может находиться и какая-то одна из них или не быть ни одной.
Обозначим высказывания:
А – На автостоянке стоит «Мерседес».
В – На автостоянке стоят «Жигули».
(А конъюнкция В) = На автостоянке стоят «Мерседес» и «Жигули».
Обозначение конъюнкции: А и В; А
В;
А$В; А
В.
Таблица истинности: Пояснения:
А |
В |
А&В |
0 |
0 |
0
|
0 |
1 |
0
|
1 |
0 |
0
|
1 |
1 |
1
|
Смысл высказываний А и В для указанных значений |
Значение высказывания: На автостоянке стоят «Мерседес» и «Жигули». |
|
«Мерседес» не стоит |
«Жигули» не стоят |
Ложь |
«Мерседес» не стоит |
«Жигули» стоят |
Ложь |
«Мерседес» стоит |
«Жигули» не стоят |
Ложь |
«Мерседес» стоит |
«Жигули» стоят |
Истина |
Из таблицы истинности следует, что конъюнкция двух высказываний истинна тогда и только тогда, когда оба высказывания истинны, и ложна, когда хотя бы одно высказывание ложно.
Логическое сложение (дизъюнкция).
Логическое сложение (дизъюнкция) образуется соединением двух высказываний в одно с помощью союза «или».
Союз «или» может быть использован в объединительном или разделительном смысле. Например, в предложении «Обычно в 8 вечера я смотрю телевизор или пью чай» союз «или» взят в объединительном смысле, так как можно или только смотреть телевизор, или только пить чай, или смотря телевизор пить чай. Такая операция называется нестрогой дизъюнкцией.
В высказывании «Данный глагол I или (либо) II спряжения» союз «или» используется в разделительном смысле. Такая операция называется строгой дизъюнкцией.
Примеры строгой и нестрогой дизъюнкций:
Петя сидит на западной или восточной стороне стадиона (строгая).
Студент едет в электричке или читает книгу (нестрогая).
Оля любит писать сочинения или решать логические задачи (нестрогая).
Завтра дождь будет или не будет (строгая).
Обозначение нестрогой дизъюнкции: А
ИЛИ В; А
В; А | В.
Под дизъюнкцией понимают нестрогую дизъюнкцию, если не оговорено иное.
А (дизъюнкция) В = На автостоянке стоят «Мерседес» или «Жигули».
Таблица истинности: Пояснения:
А |
В |
А В |
0 |
0 |
0
|
0 |
1 |
1
|
1 |
0 |
1
|
1 |
1 |
1
|
Смысл высказываний А и В для указанных значений |
Значение высказывания: На автостоянке стоят «Мерседес» или «Жигули». |
|
«Мерседес» не стоит |
«Жигули» не стоят |
Ложь |
«Мерседес» не стоит |
«Жигули» стоят |
Истина |
«Мерседес» стоит |
«Жигули» не стоят |
Истина |
«Мерседес» стоит |
«Жигули» стоят |
Истина |
Из таблицы истинности следует, что дизъюнкция двух высказываний ложна тогда и только тогда, когда оба высказывания ложны, и истинна, когда хотя бы одно высказывание истинно.