Por ejemplo, supongamos que P representa un número entero que es par y Q representa que el número entero es divisible por 2, entonces P es verdadero si y sólo si Q es verdadero, porque un número entero es par si y solo si es divisible por 2. Por tanto, existe una relación de equivalencia entre P y Q, que puede expresarse como "P si y sólo si Q".
¿Qué significa lógicamente "si y sólo"?
En lógica, si y sólo si (abreviado como iff) es una conjunción lógica que se utiliza para expresar la equivalencia de dos proposiciones. No hay equivalencia entre dos proposiciones si y sólo si eso significa que dos proposiciones deben ser a la vez verdaderas o falsas. Si una proposición es verdadera y la otra falsa, entonces no hay equivalencia entre las dos proposiciones.