Эквиваленция - это функция тождества.
Она обозначается символами = , ~ , или <=>.
Запись А = В читается как «А эквивалентно В».
Импликация - это логическое следование.
Импликация двух высказываний А и В соответствует союзу «ЕСЛИ…ТО».
Читается как «из А следует В»
Обозначение:
| А
| В
| 
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Импликация устроена немного сложнее других функций. В импликации существенное значение имеет порядок аргументов. Первый называется посылкой, а второй следствием. Можно сказать, что первое высказывание является как бы причиной второго, а второе как бы вытекает из первого.
