Kvantifikátor

Z Wikipédie

Kvantifikátor

kvantifikátor 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ňúje 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.

[úprava] Externé odkazy

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

Tento článok potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.