Uma sentença bicondicional é aquela que afirma, logicamente, as condições necessárias e suficientes e adota a forma "se p então q, e se q, então p", onde p e q estão para proposições. Isso é frequentemente abreviado a "p se, e somente se, q" ou "p sse q". Por exemplo, "se Martin é um filho único, então ele não tem irmãos e irmãs, e se Martin não tem irmãos e irmãs, então ele é filho único".

Em lógica, uma sentença bicondicional é verdadeira somente quando ambas proposições são verdadeiras ou ambas falsas.

(p é condição necessária e suficiente para q ou q é condição necessária e suficiente para p).