negating quantified expressions
离散数学复习 ... Binding Variables(变量绑定,量词作用域与重名的问题) Negating Quantified Expressions(量词否定表达:否定全称=存在否定,否定存在=全程否定) Translating from English into Logical Expressions(自然语句转化为逻辑表达) ...
基于1个网页-相关网页
negating quantified expressions
否定量化表达式
以上为机器翻译结果,长、整句建议使用 人工翻译 。