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

Логическое действие, состоящее в употреблении связок "если, и только если" в содержательных логических выводах и разговорном языке; выражается через импликацию и конъюнкцию (см. Конъюнктивные суждения).