Операция импликация (лат. лат. implico — тесно связаны) (логическое сложение):
Импликация - это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся ложным тогда и только тогда, когда условие (первое высказывание) истинно, а следствие (второе высказывание) ложно.
Обозначается: ол 
В естественном языке: соответствует обороту "если ..., то ..."л 
Операция эквиваленция (двойная импликация):
Эквиваленция – это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны.
Обозначается: ол 
В естественном языке: соответствует оборотам речи "тогда и только тогда"; "в том и только в том случае"л 
Операция инверсия (отрицание):
Отрицание - это логическая операция, которая каждому простому высказыванию ставит в соответствие составное высказывание, заключающееся в том, что исходное высказывание отрицается.
Обозначается: ол 
В естественном языке: соответствует словам "неверно, что..." и частице "не"л 
