биусловное высказывание

Мат. biconditional proposition, biconditional statement