Bi-amplicassion

A së s-ciama bi-amplicassion un conetiv lògich ëd sòlit denotà $\Leftrightarrow$ opura $\leftrightarrow$. Na manera për definilo a l'é 'd consideré $P\Leftrightarrow Q$ tanme n'abreviassion ëd $(P\Rightarrow Q)\wedge (Q\Rightarrow P)$. Ant la bi-amplicassion $P\Leftrightarrow Q$ mincadun-a dle fórmole P e Q as dis condission necessaria e bastèivol për l'àutra. La bi-amplicassion $P\Leftrightarrow Q$ a l'é vera si e mach si P e Q a son tute doe vere o tute doe fàusse.