Kvantifikátor (logika)

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání

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.