Afirmación bicondicional - Una afirmación bicondicional es una afirmación que puede ser escrita con las palabras: si y solamente si.
Todas las definiciones son afirmaciones bicondicionales porque son reversibles.