?存在一般化
? 存在一般化( existential generalization,E G)。从( )推出()(),其中, ( )是一个包含常项符号的合式公式,而( )是一个用...
存在推广规则
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。