ВУЗ:
Составители:
40
Высказывания делятся на простые и сложные (составные). Вы-
сказывание, содержащее одну простую законченную мысль, называет-
ся простым. Значение истинности простого высказывания не зависит
от значений истинности каких-либо других высказываний. Сложные
высказывания образуются из двух и более простых высказываний с
помощью логических операций. Значение истинности сложного вы-
сказывания зависит от значений истинности других высказываний.
Простые высказывания являются логическими аргументами, а слож-
ные – логическими функциями аргументов.
Пример
. Сидорову 20 лет и он студент и не солдат.
Для образования сложных высказываний наиболее часто исполь-
зуются базовые логические операции, выражаемые с помощью ло-
гических связок «и», «или», «не».
В таблице 10 приводятся обозначения, используемые для логиче-
ских связок (операций) в различной литературе.
Таблица 10
Обозначения логических связок (операций)
Связка Название Логика Программирование
НЕ
Инверсия
(логическое
отрицание)
¬
––
(черта
сверху)
! NOT
И
Конъюнкция
(логическое
умножение)
∧
· & AND
ИЛИ
Дизъюнкция
(логическое
сложение)
∨
+ | OR
Наглядной иллюстрацией этих логических связок служат сле-
дующие диаграммы:
А и не А А и В А или В
Простые высказывания обозначаются буквами латинского алфа-
вита (A, B, C, …).
Высказывания делятся на простые и сложные (составные). Вы- сказывание, содержащее одну простую законченную мысль, называет- ся простым. Значение истинности простого высказывания не зависит от значений истинности каких-либо других высказываний. Сложные высказывания образуются из двух и более простых высказываний с помощью логических операций. Значение истинности сложного вы- сказывания зависит от значений истинности других высказываний. Простые высказывания являются логическими аргументами, а слож- ные – логическими функциями аргументов. Пример. Сидорову 20 лет и он студент и не солдат. Для образования сложных высказываний наиболее часто исполь- зуются базовые логические операции, выражаемые с помощью ло- гических связок «и», «или», «не». В таблице 10 приводятся обозначения, используемые для логиче- ских связок (операций) в различной литературе. Таблица 10 Обозначения логических связок (операций) Связка Название Логика Программирование Инверсия –– НЕ (логическое ¬ (черта ! NOT отрицание) сверху) Конъюнкция И (логическое ∧ · & AND умножение) Дизъюнкция ИЛИ (логическое ∨ + | OR сложение) Наглядной иллюстрацией этих логических связок служат сле- дующие диаграммы: А и не А АиВ А или В Простые высказывания обозначаются буквами латинского алфа- вита (A, B, C, …). 40
Страницы
- « первая
- ‹ предыдущая
- …
- 38
- 39
- 40
- 41
- 42
- …
- следующая ›
- последняя »