quantificateur universel

واژهٔ فرانسوی · معنی فارسی

اسم · /\kɑ̃.ti.fi.ka.tœ.ʁ‿y.ni.vɛʁ.sɛl\/

اسم

عملگر ∀ که نشان می‌دهد گزاره برای همه عناصر یک مجموعه درست است؛ ∀x یعنی «برای همه x».