Biconditional joins two simpler propositions, and we write P ↔ Q, which is read "P if and only if Q".
Η διπλή εξάρτηση ενώνει δύο απλούστερες προτάσεις, και γράφουμε P ↔ Q, που διαβάζεται "P αν και μόνο αν Q".