|
Название
|
Изображение
|
Обыденный язык
| Формула (схема)
|
| как пишется
| как читается
|
| Конъюнкция (связки: и, а, но)
|
& Λ х .
|
p и q
|
p Λ q
|
Конъюнкция
(p конъюнкция q)
|
|
Дизъюнкция (связки: или, либо)
|
V + (нестрогая)
V. +.
|
p или q (нестрогая)
p либо q (строгая)
|
p V q
|
Дизъюнкция p q
(р дизъюнкция q)
|
|
Импликация (связка: если…, то)
|
→
|
Если p, то q
|
p → q
|
Импликация p q
(р импликация q)
|
|
Эквиваленция (связка: тогда и только тогда, когда)
|
≡
|
p тогда и только тогда, когда q
|
p ≡ q
|
Эквиваленция p q
(р эквиваленция q)
|
| Отрицание (связка: не, нет)
|
¬ ~ −
|
не р
|
 р
| Отрицание р
(р с отрицанием)
|
| Понятия
| A, B, C, D…
|
|
| Субъект простого суждения
| S
|
Схема простого суждения:
S есть (не есть) P
|
| Предикат простого суждения
| P
|
| Простые суждения в составе сложных
| a, b, c, d….., p, q, r….
|
| Кванторы
| общности
| кванторное слово «все»
|  символ V
|
| существования
| кванторное слово «некоторые»
|  символ Ξ
|
| Логический вывод
| «выводимо»
| символ ╞
|
| Значение истинности
| «истинно»
| символ 1
|
| Значение ложности
| «ложно»
| символ 0
|
| Ограничения и порядок действий
| скобки
| ( ), [ ], { }
|
| | | | | | |