Se succede che:
p ⇒ q e q ⇒ p
si ha una doppia implicazione che si indica con la scrittura:
p⇔ q e si legge p se e solo se q
Consideriamo le due proposizioni:
p: n è un numero divisibile per 3 q: n è un multiplo di 3
p⇔q: n è un numero divisibile per tre se e solo se n è un multiplo di tre.
