logical quantifier

Türkçe: mantıksal niceleyici

Açıklama: Mantıksal niceleyici; ∀ (tüm) ve ∃ (var) sembolleri