A la proposición que resulta de unir dos proposiciones por medio del conectivo bicondicional (formula_17), la llamaremos proposición bicondicional.