– $(p \Rightarrow q) \wedge (q \Rightarrow p)$ kórinistegi aytım $p$ hám $q$ aytımlardıń ekvivalenciyası delinedi hám $p \Leftrightarrow q$ kóriniste belgilenedi. $p \Leftrightarrow q$ jazıw “$p$ aytım $q$ bolǵanda ǵana orınlı boladı” dep oqıladı. $p \Leftrightarrow q$ aytımnıń shınlıq kestesi tómendegishe boladı: $$\begin{array}{|c|c|c|} \hline p & q & p \Leftrightarrow q \\ \hline sh & sh & sh \\ \hline sh & j & j \\ \hline j & sh & j \\ \hline j & j & sh \\ \hline \end{array}$$ Latınsha “equivalens” sózi latınsha “aequus” - “teńlik” hám “valeo” - “maǵanaǵa, bahaǵa iyemen” sózlerinen kelip shıqqan.