For example, the logical biconditional function p ↔ q is equivalent to q ↔ pp.
Για παράδειγμα, η λογική ισοδυναμία p ↔ q είναι ίδια με την q ↔ pp.