Az egyenlőség tekinthető multimodális logikai operátornak?
Vannak modális logikai operátorok, amiket jelöljünk [ ] jelek közé. Néhány jól ismert unér operátor:
[szükségszerű]A
[lehetséges]A
[lehetetlen]A
...
De vannak ugye multimodális logikai operátorok, és a kérdésem az, hogy az egyenlőség, a >, a < tekinthetőek-e ilyen binér logikai operátornak?
[=](x;y) vagy x[=]y
Miért vagy miért nem?
A kérdésedben x és y valamilyen állítások? Ha a két állítás azonos, akkor persze, de nem jellemző a használata.
A < és > pedig akkor értelmezhető, ha a halmaz elemei, amire értelmezzük, egyértelműen sorba rendezhetők. A kijelentések szerintem nem rendezhetők egyértelműen.
Itt vagy, figyeled még a kérdést?
Már az alapfeltevéseddel gond van, a szükségszerűség és a lehetségesség jele nem operátor; az operátor egy változó szabad előfordulásából kötöttet csinál, a modális (mondat-) funktorok pedig egy (zárt) mondatból egy másikat. Operátorok például a kvantorok és a deskriptor.
A < reláció jele azonos típusba tartozik az egyenlőség jelével, ha ez akartad kérdezni, de nem operátorok, hanem predikátumok (tehát nevekből képeznek mondatot).
Kapcsolódó kérdések:
Minden jog fenntartva © 2024, www.gyakorikerdesek.hu
GYIK | Szabályzat | Jogi nyilatkozat | Adatvédelem | Cookie beállítások | WebMinute Kft. | Facebook | Kapcsolat: info(kukac)gyakorikerdesek.hu
Ha kifogással szeretne élni valamely tartalommal kapcsolatban, kérjük jelezze e-mailes elérhetőségünkön!