逻辑学吧 关注:37,900贴子:144,278
  • 1回复贴,共1

存在量词的消去

只看楼主收藏回复

一阶逻辑推理理论 中的全称量词的增加和删除比较好理解。 而(E-)存在量词的消去 为什么是在蕴含式的前件添加E,是如何理解实现存在量词的消去。


1楼2015-02-23 20:36回复
    【量词运算帖汇总】(2012-12)
    [url]http://tieba.baidu.com/p/2032807663?pid=27025424884&cid=0#27025424884 [/url]


    IP属地:北京4楼2015-02-23 22:57
    回复