Kezdőoldal » Tudományok » Alkalmazott tudományok » [Logika] Változóiban tiszta-e...

[Logika] Változóiban tiszta-e az alábbi formula?

Figyelt kérdés

∃ xP ( x ) ⊃ ¬∀ y ¬ Q ( y;x )

valaki elmagyarázná hogy miért nem változóiban tiszta?

2015. jan. 6. 16:01

1/1 QBEE válasza:

Ha jól emlékszem, akkor azért, mert bár nem köti a végén az x-ez a létezik, de ettől nem tekinthető egyértelműnek a jelölés. Gondolj arra, ja le kéne programozni, nem is lehetne sok nyelvben megkülönböztetni.

2015. jan. 13. 08:15

Hasznos számodra ez a válasz?

Kapcsolódó kérdések:

Viete-formulák vannak harmadfokú egyenletre is?

Ti hogyan oldanátok meg ezt Viéte formulával? Addig hogy nevezetes azonosság nekem is kijön meg az első Viéte formulával de a második.

Érti valaki a bizonyítást a könyv 18. oldalán (Erdős-Hajnal 1966)? Szeretném, ha elmagyarázná nekem az egyik lépést, hogy lesz az egyenlőtlenségből a gyökjel alatti...

Könyvekben (elsősorban regények) mindig a "sem" formula szerepel, "se" nem?

Létezik a folyáshatár becslésére egy empirikus formula?

Matematikai logikában mit kell érteni formula hossza alatt?

Tudományok főkategória kérdései »

Tudományok - Alkalmazott tudományok kategória kérdései »

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!