Kvantifikátor (logika)

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie

Kvantifikátor alebo kvantor je výraz určujúci, akému počtu (kvantite) indivíduí možno pripísať (predikovať) nejakú vlastnosť alebo vzťah. Kvantifikátor je operátor matematickej logiky, ktorý sa uplatňuje na logický výraz a ktorý kvantitatívne charakterizuje oblasť predmetov (alebo oblasť predikátov), na ktoré sa tieto získané výrazy vzťahujú. Najviac sa používa všeobecný kvantifikátor a existenčný kvantifikátor.

Externé odkazy[upraviť | upraviť zdroj]

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.