EQUIVALENCIA

En el artículo Bicondicional hemos leído ‘↔’ como ‘si y sólo si’. Esta lectura recibe con frecuencia el nombre de «interpretación material del bicondicional» o también el de «equivalencia mate­rial». Sin embargo, lo mismo que sucede con el condicional, hay otra lectura de ‘↔’. Es la que tiene lugar cuando se coloca ‘↔’ entre nombres de enunciados en vez de colocarlo entre enunciados. Así, mientras la expresión:

p ↔ q

se lee:

p si y sólo si q,

la