elsőrendű logika
Kapcsolódó fogalmak:
egzisztenciális kvantor
Kapcsolódó fogalmak:
univerzális kvantor
Kapcsolódó fogalmak:
konstansszimbólum
Kapcsolódó fogalmak:
predikátumszimbólum
Kapcsolódó fogalmak:
függvényszimbólum
Kapcsolódó linkek:
Elsőrendű logika - A hozzászóláshoz bejelentkezés szükséges
- Nyomtatóbarát változat