Tegn ved regning

⇔  er et logisk symbol, som sammenkæder to udsagn U₁ og U₂
Tegnet bruges, når der gælder
( U₁ ⇒ U₂   ∧   U₂ ⇒ U₁ )
Et udsagn er, som bekendt, en påstand, hvorom det kan afgøres, om den er sand eller falsk, og ingen andre muligheder gives.
Det logiske tegn  ∧  skal læses "og"  med betydningen, at begge udsagn skal være sande for at (U₁ ∧ U₂) er sand.
I dine to eksempler er
3x = 3 + 4·1   et åbent udsagn, hvorom det kan gøres, om det er sandt eller falskt ved at indsætte forskellige værdier for x. Kun én x-værdi gør dette udsagn sandt.
Det andet eksempel er et udtryk uden lighedstegn, ulighedstegn m.m., hvori alle mulige x kan indsættes uden at man kan sige, om udtrykket er sandt eller falskt.
Der kan således ikke i det andet udtryk bruges logiske symboler, da der ikke i udtrykket er nogen sandhedsværdi at afgøre.