Эквиваленция.

Эквиваленцией (или эквивалентностью) двух высказываний X,Y называется новое высказывание, которое считается истинным, когда оба высказывания X,Y истинны, либо одновременно ложны, и ложным во всех остальных случаях.

Эквиваленция высказываний X,Y обозначается символом X <=> Y, читается «для того, чтобы X, необходимо и достаточно, чтобы Y »или «X тогда и только тогда, когда Y ». Высказываниями X,Y называются членами эквиваленции.

Логические значения операции эквиваленции описываются следующей таблицей истинности: