Bi-amplicassion

Stamp:Prinsipi A së s-ciama bi-amplicassion un conetiv lògich ëd sòlit denotà $\iff$ opura $\leftrightarrow$. Na manera për definilo a l'é 'd consideré

$P\iff Q$

tanme n'abreviassion ëd

$(P\Rightarrow Q)\wedge (Q\Rightarrow P)$.

Ant la bi-amplicassion $P\iff Q$ mincadun-a dle fórmole P e Q as dis condission necessaria e bastèivol për l'àutra. La bi-amplicassion $P\iff Q$ a l'é vera si e mach si P e Q a son tute doe vere o tute doe fàusse. Stamp:Fin