экзистенциальная квантификация 🎲
Автоматически добавлено Астрой для семантической связи
Пока нет связанных полок. Скоро появятся.
🌐 English — Existential quantification
A logical operation asserting that at least one object in the domain satisfies a given property, denoted by the existential quantifier ∃.
🌐 中文 — 存在量化
一种逻辑运算，断言论域中至少有一个对象满足给定的性质，用存在量词∃表示。
🌐 العربية — التكميم الوجودي
عملية منطقية تؤكد أن كائناً واحداً على الأقل في مجال الخطاب يحقق خاصية معينة، ويُرمز إليها بمكمِّم الوجود ∃.
🌐 Español — Cuantificación existencial
Operación lógica que afirma que al menos un objeto del dominio cumple una propiedad dada, representada mediante el cuantificador existencial ∃.
🌐 Français — Quantification existentielle
Opération logique affirmant qu'au moins un objet du domaine satisfait une propriété donnée, notée par le quantificateur existentiel ∃.
🌐 de — Existenzquantifikation
Eine logische Operation, die behauptet, dass mindestens ein Objekt im Bereich eine gegebene Eigenschaft erfüllt, bezeichnet durch den Existenzquantor ∃.
🌐 pt — Quantificação existencial
Operação lógica que afirma que pelo menos um objeto do domínio satisfaz uma determinada propriedade, denotada pelo quantificador existencial ∃.
🌐 tr — Varlıksal niceleme
Evren içindeki en az bir nesnenin verilen bir özelliği sağladığını ileri süren mantıksal işlem; varlıksal niceleyici ∃ ile gösterilir.
🌐 hi — अस्तित्वगत परिमाणीकरण
एक तार्किक संक्रिया जो यह दावा करती है कि किसी क्षेत्र में कम से कम एक वस्तु दिए गए गुण को संतुष्ट करती है, जिसे अस्तित्वसूचक परिमाणक ∃ द्वारा दर्शाया जाता है।