Конъюнкция - логическое умножение (от латинского conjunctio - союз, связь):
- в естественном языке соответствует союзу «И»;
- в алгебре высказываний обозначение «&»;
- в языках программирования обозначение «And».
Если хотя бы одно из составляющих высказываний ложно, то и полученное из них с помощью союза «И» сложное высказывание также считается ложным.
Дизъюнкция - логическое сложение (от латинского disjunctio - разобщение, различие):
- в естественном языке соответствует союзу «ИЛИ»;
- в алгебре высказываний обозначение «V» или «+»;
- в языках программирования обозначение «Or».
Дизъюнкция - это логическая операция, которая каждым двум простым (или исходным) высказываниям ставит в соответствие составное высказывание, являющееся ложным тогда и только тогда, когда оба исходных высказывания ложны и истинным, когда хотя бы одно из двух образующих его высказываний истинно.
Инверсия - отрицание (от латинского disjunctio - разобщение, различие):
- в естественном языке соответствует словам «неверно, что...» и частице «не» ;
- в алгебре высказываний обозначение «» или «-»;
- в языках программирования обозначение «Not».
Отрицание - логическая операция, которая с помощью связки «не» каждому исходному высказыванию ставит в соответствие составное высказывание, заключающееся в том, что исходное высказывание отрицается.
Логическое следование (импликация):
Высказывание, составленное из двух высказываний при помощи связки «если ..., то ...», называется логическим следованием, импликацией (импликация от латинского implico - тесно связываю).A => B
"Из А следует В"
Новое высказывание, полученное с помощью импликации, является ложным тогда и только тогда, когда условие (посылка А) - истинно, а следствие (заключение В) - ложно и истинно во всех остальных случаях.
Эквивалентность (логическое тождество):
Высказывание, составленное из двух высказываний при помощи связки «тогда и только тогда, когда», называется эквивалентностью (эквивалентность - логическое тождество, равнозначность, взаимная обусловленность. )
"А равносильно В"A <=> B
Новое высказывание, полученное с использованием эквивалентности, является истинным тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны.