„Bikondicionális” változatai közötti eltérés

<div style="line-height: 120%; text-align: left">a bikondícionálistbikondicionálist jelölő<br/>logikai szimbólumok</div></div>

Az '''akkor és csak akkor''' kifejezés egy természetes nyelvi [[logika]]i természetű konnektívum, elnevezése a [[logikai grammatika|logikai grammatikában]] '''bikondícionálisbikondicionális'''. Arra való, hogy két tagmondat felhasználásával olyan összetett mondatot képezzünk, mely szándékainszándékaink szerint azt fejezi ki, hogy mindkét tagmondat ugyanazon körülmények között tekinthető igaznak és hamisnak. Például:

:„A lakás bérbe adása akkor és csak akkor tekinthethetőtekinthető törvényesnek, ha formailag megfelelő szerződés szól róla.”

:„Egy [[polinom]]nak az ''&alpha;'' szám akkor és csak akkor gyöke, ha a polinimfüggvénynekpolinomfüggvénynek zérushelye.”