Tagasi ETBL-i avalehele

kvantor

kvantor, loogiline operaator, mis iseloomustab esemete (või predikaadi) valdkonda, mille kohta loogiline avaldis käib; näiteks „iga x korral P(x)”.

VE, 2006