Эквивалентность

С импликацией тесно связана эквивалентность, называемая иногда «двойной импликацией».

Эквивалентность — сложное высказывание «А, если и только если В», образованное из высказываний А и В и разлагающееся на две импликации: «если Л, то В» и «если В, то Л». Например: «Треугольник является равносторонним, если и только если он является равноугольным». Термином «эквивалентность» обозначается и связка «..., если и только если...», с помощью которой из двух высказываний образуется данное сложное высказывание. Вместо «..., если и только если...» для этой цели могут использоваться «... в том и только в том случае, когда...», «... тогда и только тогда, когда...» и т. п.

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

 
Посмотреть оригинал
< Пред   СОДЕРЖАНИЕ   ОРИГИНАЛ     След >