| Логическая операция, языковая конструкция
| Арность
| Определение
| Обозна-чение
| Диаграмма Эйлера-Венна
| Таблица истинности (значение операции)
|
| Инверсия (отрицание), НЕ
| Унарная
| Отрицание - новое высказывание, которое является истинным, если высказывание А ложно, и ложным, если высказывание А истинно
|  ,
 ,
| 
|
|
| Конъюнкция (логическое умножение, пересечение), И
| Бинарные
| Конъюнкция - новое высказывание, которое считается истинным, если оба высказывания А и В истинны, и ложным, если хотя бы одно из них ложно
|  ,
 ,
 ,  ,
| 
|
|
| Дизъюнкция (логическое сложение, объединение), ИЛИ
| Дизъюнкция - новое высказывание, которое считается истинным, если хотя бы одно из высказываний А или В истинно и ложным, если они оба ложны
|  ,
 ,
 ,
| 
|
|
| Исключающее или (сложение по модулю два, строгая дизъюнкция), ИЛИ
| Строгая дизъюнкция - новое высказывание, которое считается истинным только тогда, когда только одно из высказываний истинно, а ложным тогда, оба высказывания истинны или оба ложны
|  ,
 ,
 ,
| 
|
|
| Импликация (следование), ЕСЛИ …, ТО…
| Импликация - новое высказывание, которое считается ложным, если А истинно, а В ложно, и истинным во всех остальных случаях. А называется посылкой (условием), В – заключение (следствие)
|  ,
| 
|
|
| Эквиваленция (эквивалентность), …ТОГДА И ТОЛЬКО ТОГДА, КОГДА …
| Эквиваленция - новое высказывание, которое считается истинным, если оба высказывания А и В либо одновременно ложны, либо одновременно истинны, и ложным во всех остальных случаях
|  ,
 ,
 ,
| 
|
|
