U. Xorter kérdése:
Csak az egyenlőség-reláció lehet definiáló?
Figyelt kérdés
Olyat már láttunk, hogy a legyen-egyenlőséget (x:=1) kiterjesztették nemegyenlőségre (x:≠0), kisebb-nagyobb esetleg eleme relációra. De mi a helyzet a definiáló egyenlőséggel? Az egyszerűség kedvéért így jelölöm: d/dx f def= (f(x+dx)-f(x))/dx. Ez kiterjeszthető más relációkra? Beszélhetünk definiáló kisebb-nagyobb vagy eleme relációról? Azaz van értelme és szintaktikailag is helyes valamit aszerint definiálni, hogy mihez képest kisebb, mivel nem egyenlő, milyen halmaznak eleme/nem eleme, de konskrétan nem definiáljuk, hogy mivel egyenlő? eps def> 0?dec. 25. 05:35
11/14 anonim 
válasza:
válasza:Az előttem válaszolók helyesen rámutattak arra, hogy egy definíciónak egyértelműen meg kell határoznia a definiálandó név extenzióját, de tévesen vonták le ebből azt a következtetést, hogy csak az egyenlőségjellel képzett állítások lehetnek ilyenek.
Például a "c ∈ {42}" és a "c ∈ N ∧ c < 1" formulák egyértelműen definiálják c-t 42-ként illetve 0-ként. Vagy, ha a P kétargumentumú predikátumról tudható, hogy első argumentumát b-ként rögzítve a másodikban csak egy értékkel igaz, akkor "P(b,c)" szintén definíciója lehet c-nek.
12/14 Tom Benko válasza:
válasza:@11: Egyik sem definíció, mindkettő csak megjelölés.
13/14 T. Feri 
válasza:
válasza:@Tom Benko #7 Akár igazad is lehet, ahogy nekem is. Ez a definíció definíciójának függvénye. De a definíció szó önmagában is azonosítást jelent, így az egyenlőtlenséggel való kifejezés lehetősége vagy értelmetlen, vagy az azonosítás módjára kell, hogy vonatkozzon.
14/14 Tom Benko válasza:
válasza:@T. Feri: A definíciót hagyományosan abban az értelemben használják, hogy valamilyen leírást, tulajdonságot vagy tulajdonságcsoportot egyetlen jelzővel lehessen helyettesíteni. Emiatt nincsen értelme a nem egyenlőséggel való definíciónak.
Kapcsolódó kérdések:
Minden jog fenntartva © 2025, 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!
Ha kifogással szeretne élni valamely tartalommal kapcsolatban, kérjük jelezze e-mailes elérhetőségünkön!