Импликация и эквивалентность
Импликация Импликация (условное высказывание). В русском языке этой логической операции соответствуют союзы если ..., то; когда ..., тогда; коль скоро..., то и т.п. Выражение, начинающееся после союзов если, когда, коль скоро, называется основанием условного высказывания. Выражение, стоящее после слов то, тогда, называется следствием. Импликация — двухместная операция; записывается так: А —> В Языковой аналог — союзы если и только если; тогда и только тогда, когда ... Эквивалентность обозначается знаком «=» или «». !Порядок всех пяти логических операций по убыванию старшинства следующий: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность Эквивалентность