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

[ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló
4. sor:
<math>\equiv</math><br/>
<div style="line-height: 120%; text-align: left">a bikondicioná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ívumviszony ([[reláció]]), elnevezése a [[logikai grammatika|logikai grammatikában]] '''bikondicionális'''. Arra való, hogy két tagmondat felhasználásával olyan összetett mondatot képezzünk, mely szá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 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 polinomfüggvénynek zérushelye.”