Se P ⇔ Q, posso rimpiazzare P con Q in una formula F, ottenendo una formula G equivalente a F, G⇔F (vale sia per l'equivalenza tautologica, sia per l'equivalenza logica FO, sia per l'equivalenza logica in un contesto)
Esempio
