Si y solamente si Una afirmacion que puede ser escrita en la forma de si y solamente si es llamada afirmacion bicondicional. Todas las definiciones son afirmaciones bicondicionales porque son reversibles.