Equivalencia

Propiedad que tienen dos proposiciones de tener el mismo significado, aunque difieran en su cantidad o cualidad.

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éase bicondicional).