#s/maths/logique

----
Deux formules sont dites _equisatisfaisables_ ssi :
Si l'une est [[satisfaisable]], l'autre l'est aussi (et réciproquement).

Formellement : $A$ et $B$ sont _equisatisfaisables_ ssi :
$S(A) \iff S(B)$, où $S$ est le prédicat "est satisfaisable".