ВУЗ:
Составители:
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
- …
- следующая ›
- последняя »
