Se tiene así que la afirmación «"p" si y solo si "q"» es lógicamente equivalente al par de afirmaciones «Si "p", entonces "q"», y «si "q", entonces "p"».