La recherche du mot existenční kvantifikátor a un résultat
Aller à
CS Tchèque FR Français
existenční kvantifikátor (n) [operator used in predicate calculus] (n) quantificateur existentiel (n) [operator used in predicate calculus] (n)