Эквивалентность, или равнозначность

Эквивалентность– логическая операция, соответствующая логической связке «ТОГДА И ТОЛЬКО ТОГДА, КОГДА». Обозначается символами ↔ ~, ≡, а также словом «eqv». Из таблицы истинности видно, что выражение a ↔b равно 1 тогда, когда a = b. На языке логики это значит, что составное высказывание, образованное с помощью операции эквивалентности будет истинно тогда, когда исходные высказывания одновременно истинны или одновременно ложны.

Примеры. «Человек жив тогда и только тогда, когда он дышит»; «Продукт имеет массу килограмм тогда и только тогда, когда имеет массу 1000 грамм».

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