2 vzťahy: Všeobecný kvantifikátor, Výrok.
Všeobecný kvantifikátor
Všeobecný kvantifikátor (iné názvy: všeobecný kvantor, veľký kvantifikátor, generalizátor) je kvantifikátor, ktorým sa nahradzuje spojenie „pre všetky“.
Nový!!: Všeobecný výrok a Všeobecný kvantifikátor · Pozrieť viac »
Výrok
Výrok môže byť.
Nový!!: Všeobecný výrok a Výrok · Pozrieť viac »