Смысл операции «ЭКВИВАЛЕНТНОСТЬ» — проверить, дают ли два высказывания один и тот же результат при одних и тех же наборах исходных данных.
Выполняется эта операция над двумя высказываниями.
Иногда эквивалентность называют также «двойным следованием».
Давайте рассмотрим ее более внимательно.
Обозначение:
Озвучивается эквивалентность так:
«A эквивалентно В» или «А равносильно В»
Другими признаками возможного присутствия эквивалентности в тексте служат фразы:
«Тогда и только тогда», «Необходимо и достаточно».
Пояснение
Утверждения «Этот треугольник прямоугольный» и «Один угол этого треугольника равен 90 градусов» — оба обозначают, что треугольник прямоугольный.
Таблица истинности эквивалентности
или вот так:
Примеры:
Схематическое обозначение эквивалентности:
