来自专业的译者、企业、网页和免费的翻译库。
添加一条翻译
ποσοδείκτης
quantifier
最后更新: 2014-11-14 使用频率: 3 质量: 参考: IATE
καθολικός ποσοδείκτης
universal quantifier
έναν τύπο της ακόλουθης μορφής::formula_22,όπου ο ποσοδείκτης ψ είναι ελεύθερος.
a formula of the following form::formula_22,where ψ is quantifier free.
最后更新: 2016-03-03 使用频率: 1 质量: 参考: IATE
# Ποσοδείκτες.
# quantifiers.