| dbo:description
|
- indicador en la lógica formal que sirve para indicar que cierta característica se encuentra en todos los elementos de un conjunto (es)
- Aussage über alle Elemente eines bestimmten Gegenstandsbereichs (de)
- jenis kuantifikasi dari konstanta logika ditafsirkan sebagai \diberikan apa saja\ atau \untuk semua\ (in)
- تحديد كمي منطقي يشير إلى أن بيان صالح لجميع الكائنات (ar)
- matematický symbol (cs)
- tip de cuantificator din logica matematică (ro)
- type kvantor og logisk konstant (nn)
- Bere ondoren datorren proposizioa unibertsoaren elementu guztietarako egiazkoa dela adierazteko, logikan erabiltzen den sinboloa. ∀ du ikurra, eta guztiek, guztietarako, edozein edo bakoitza irakur daiteke (eu)
- условие, которое верно для всех обозначенных элементов (ru)
- type de quantificateur, une constante logique interprétée comme « étant donné », « pour tout », « quel que soit » (fr)
- logical quantification stating that a statement holds for all objects (en)
- การบ่งปริมาณที่ระบุว่าข้อความบางอย่างเป็นจริงสำหรับทุกสิ่งที่สนใจ (th)
- simbolo matematico utilizzato per indicare la frase \per ogni\ (it)
|
