节点文献
实质蕴涵“怪论"新探
【摘要】 <正>众所周知,以实质蕴涵算子“(?)”(p(?)q=df (?)(p∧(?)q))为基础建立起来的经典二值外延逻辑曾遭到许多逻辑学家的批评。他们认为,实质蕴涵不但不能充分反映自然语言中“如果,则”(if…, then…)的含义,而且,建立在实质蕴涵基础上的
- 【会议录名称】 1997年逻辑研究专辑
- 【会议时间】1997
- 【分类号】B812
【摘要】 <正>众所周知,以实质蕴涵算子“(?)”(p(?)q=df (?)(p∧(?)q))为基础建立起来的经典二值外延逻辑曾遭到许多逻辑学家的批评。他们认为,实质蕴涵不但不能充分反映自然语言中“如果,则”(if…, then…)的含义,而且,建立在实质蕴涵基础上的