Алгебра. Аналитическая геометрия. Матвеев В.Н. - 14 стр.

UptoLike

ВУЗ: 

ТГТУ | Тамбов

Составители: 

Рубрика: 

14
Соглашение 1.1. Единственными логическими значениями высказы-
вания являются истина либо ложь (1 либо 0 или
T
либо
F
).
Соглашение 1.2. Логическое значение сложного утверждения зависит
лишь от логических значений его компонент, а не от его смысла.
1.1. Виды и свойства сложных суждений
Вид
суждения
Мнемокод Связка
Содержательный
смысл
Таблица
истинности
Инверсия
(отрицание)
A
¬
A
НЕ
«A неверно»,
«A ложно»,
«A не может
быть»
A
0
1
A
1
0
Соединительное
(конъюнктивное)
...&&
BA
...
AB
...
∧
∧
BA
И
«A и B»,
«A вместе с A»,
«не только A,
но и B»,
«как A, так и B»
и т.п.
A
0
0
1
1
B
0
1
0
1
BA
&
0
0
0
1
Разделительное
(дизъюнктивное)
...
∨
∨
BA
(слабое)
ИЛИ
«A или B
или оба
вместе» и т.п.
B
A
∨
0
1
1
1
BA
⊕
(сильное)
ЛИБО
«либо A, либо B,
но не вместе»
и т.п.
BA
⊕
0
1
1
0
Условное
(импликативное)
BA
→
BA
⇒
СЛЕДУЕТ
«если A, то B»,
«из A следует B
»,
«A достаточное
условие для B»,
«B необходимое
условие для A»
и т.п.
BA
→
1
1
0
1
Эквивалентное
BA
⇔
B
A
≡
B
A
~
ЭКВИВА-
ЛЕНТНОСТЬ
«A эквива-
лентно B»,
«A необходимое
и достаточное
условие для B»…
B
A
≡
1
0
0
1
Примеч ание: для формирования сложных суждений также испо
льзуются
кванторы.

Страницы