En algunos contextos en matemáticas y lógica, un bicondicional, (también llamado equivalencia o doble implicación, en ocasiones abreviado en español como ssi) es un operador lógico binario, es decir, una función formula_1, siendo B cualquier conjunto con |B|=2, aunque es común que se considere a B como B={V,F} o B={0,1}.