kvantifikált term

Kapcsolódó fogalmak: 
term
Rövid szöveges bemutatás: 
A kvantifikált term egy speciális term. Ebben az esetben egy kvantorral tudjuk ellátni a termet, amely ennek köszönhetően informatívabbá válik. Így külön kifejezhető, hogy minden objektumra vonatkozik egy állítás az adott típusból vagy bizonyosan létezik olyan objektum az adott típusból, melyre igaz az állítás. A kvantifikált termet ugyanolyan módon tudjuk alkalmazni mint a "sima" változatát. Gyakorlati jelentése nem túl nagy, inkább egy extra lehetőséget ad a formalizmusra. Jele: [Minden "a", "a" része "Típus"].