Dos fbfs son equivalentes cuando sus tablas de verdad arrojan los mismos valores de verdad en la columna de su conectiva dominante para cualquiera de sus interpretaciones. Si A y B son dos proposiciones equivalentes, escribimos A≡>B
(v. bicondicional)