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