... existential closure 存在闭包 rule of existential generalization 存在推广规则... existential proposition 存在命题 ...
基于16个网页-相关网页
rule of existential generalization
存在概化规则
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动