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

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló
Nincs szerkesztési összefoglaló
6. sor:
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ális'''. Arra való, hogy két tagmondat felhasználásával olyan összetett mondatot képezzünk, mely szándékain 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ő törvényesnek, ha formailag megfelelő szerződés szól róla.”
:„Egy intervallumon[[polinom]]nak differenciálhatóaz függvény''α'' szám akkor és csak akkor monoton növekvőgyöke, ha a deriváltja sehol sepolinimfüggvénynek negatívzérushelye.”
==Szinonímái==
A kifejezés használata ritka (és idegen) a mindennapi nyelvben, de a tudományos nyelvben, főleg a matematika és a filozófia területén igen sokszor előfordul. Ezekből a szaknyelvekből, a német „dann und nur dann” kifejezés tükörfordításaként került a magyarba. Szinonímája a