Gusztáv Jánvári Jun 21, 2012:

quantifier + instantiate A logikában a kvantor szót használják arra, ami univerzális és egzisztenciális lehet. Ez kvantálás, vagyis mennyiséggel való ellátás, mert azt állítom egy formuláról, hogy egy olyan eset biztosan van, amikor helyes (egzisztenciális), vagy hogy minden esetben helyes (univerzális).

Az instantiate pedig nem példát vagy bemutatást jelent, hanem egy olyan mechanizmus/módszer, amivel pl egy univerzális kvantornál veszel egy-egy konkrét esetet, vagyis példányosítod a formuládat (az x helyére konkrét értékeket írsz), és megmutatod rá, hogy igaz rá az az állítás, ami az univerzális kvantorral "felszerelt" általános formulában igaz. Tehát ez az instantiation elvét tekintve az objektumorientáltság példányosítás fogalmához hasonlít, ahol szintén azt jelenti, hogy konkrét értékekkel látsz el egy általános valamit (osztályt).

Így megalapozottan merem állítani, hogy a címbeli kifejezés csak kvantorpéldányosítás alakban állja meg a helyét.

q.e.d. :)

Péter Tófalvi (asker) Jun 20, 2012:

quantifier A szótár erre 3 fordítást ad: kvantor, kvantifikátor, operátor

Fordítás, eddig:
"Használható a kvantorokat tartalmazó logikai formulák kielégíthetőségének ellenőrzésére, valamint valós és egész számokkal, algebrai adattípusokkal, és telítettséggel kapcsolatos kvantorpéldányosítási és kvantor-kiküszöbölő eljárásoknál."

Péter Tófalvi (asker) Jun 20, 2012:

instantiate példával szemléltet, bemutat, megmutat

leveraging = itt szerintem "hatékonyabbá tétel"