Kezdőoldal » Tudományok » Természettudományok » Az egyenlőség tekinthető...

Az egyenlőség tekinthető multimodális logikai operátornak?

Figyelt kérdés

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?



2017. febr. 7. 10:58
 1/2 anonim ***** válasza:

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.

2017. jún. 20. 12:35
Hasznos számodra ez a válasz?
 2/2 anonim ***** válasza:

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).

2017. jún. 20. 16:15
Hasznos számodra ez a válasz?

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

A weboldalon megjelenő anyagok nem minősülnek szerkesztői tartalomnak, előzetes ellenőrzésen nem esnek át, az üzemeltető véleményét nem tükrözik.
Ha kifogással szeretne élni valamely tartalommal kapcsolatban, kérjük jelezze e-mailes elérhetőségünkön!