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