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).
