A kvantorok közötti kapcsolatokra vonatkozó legegyszerűbb szabályokat először Arisztotelész írta le az Organonban - lásd: tradicionális logika.
Ekkor T kvantoreliminálható.
Következmény: Legyen Z a 0 karakterisztikájú, algebrailag zárt testek elmélete. Z kvantoeliminálható. Továbbá Z teljes.
kvantor
A 'minden .' és a 'van olyan .' kifejezéseket kvantoroknak nevezzük. Az olyan kifejezések, mint 'minden x esetén .' és 'van olyan x, amelyre .
A formális logikai műveletek mellett a létezés és az univerzalitás (globalitás, fogalomalkotási funkció) jelölésére bevezette az úgynevezett kvantorokat.
(Akár két kijelentésből, akár két nyitott mondatból alkotott implikációt; az utóbbit akár kvantor nélkül, akár úgy, hogy egy vagy több változója 'minden' kvantorral le van kötve.
 Lásd még: Halmaz, Bizonyítás, Függvény, Modell, Hasonló
  
|
RSS
