Эквивалентность высказываний (Эквиваленция)

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

Эквиваленция высказываний Х, У обозначается символом (или , ~), читается «Х эквивалентно У» или «для того, чтобы Х, необходимо и достаточно, чтобы У», или «Х тогда и только тогда, когда У».

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

Х	У

С помощью логических операций над высказываниями из заданной совокупности высказываний можно строить различные сложные высказывания.

Например, для формулы таблица истинности имеет вид:

Дата добавления: 2014-01-15