Az ∃ (egzisztenciális) és ∀ (univerzális) kvantorokon kívül létezik még kvantor vagy ezekkel bármit ki lehet fejezni?
Figyelt kérdés
∃!(egy és csak egy létezik)-et még ismerem, de ez is kifejezhető az előző 2ből...2009. aug. 13. 13:40
1/3 anonim 
válasza:
válasza:Én úgy tudom, hogy csak ez a kettő van. Ezekkel bármit ki lehet fejezni, és ezek egymás tagadásai.
2/3 anonim válasza:
válasza:Hát elsőrendű logikában ezek vannak, és amit abban ki lehet fejezni azokat akkor értelemszerűen ezekkel ki lehet. Egyébként meg sajt.
3/3 anonim válasza:
hú, ezt még intelligens rendszerekből tanultam...akkor voltak tétel bizonyítások 0-ad és 1-rendű logikában, és ezzel a kettő kvantor segítségével lelehet vezetni minden fajta állítást.
*****
itt vannak tételbizonyítások, levezetések...
* Automatikusan eltávolított tartalom.
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!
Ha kifogással szeretne élni valamely tartalommal kapcsolatban, kérjük jelezze e-mailes elérhetőségünkön!