Quantificateur

concept

symboles mathématiques, précisant comment une propriété est vérifiée par un objet

Propriétés

p279_labels
connecteur logique

Mots liés