Forrásvadász

Az alábbi Wikipédia-részlet nincs alátámasztva egy megbízható forrással. Tudsz találni egyet?

Kattints a(z) Megvan! gombra, hogy eljuss a Wikipédiára és kijavíthasd a részletet vagy a(z) Következő! gombra egy másikért. További információkért lásd a(z) Wikipédia:Jegyzetelés lapot. Sok szerencsét!

A(z) Dualitás (logika) oldalon:

"

A modális logikában vizsgált két új konstans a {\displaystyle \scriptstyle {\Box }} és a {\displaystyle \scriptstyle {\Diamond }} . Ezek a konstansok az operátorok családjába tartoznak. Kiolvasásuk nehézkes, általában "szükségszerű"-nek és "lehetséges"-nek szokás hívni őket. Ruzsa Imre azt javasolja, hogy "nec"-nek és "posz"-nak olvassuk ki,[1] azonban valószínűleg a legsemlegesebb kiolvasás, ha egyszerűen "doboz"-nak és "gyémánt"-nak hívjuk őket.[forrás?]