10.3969/j.issn.1674-8425.2009.09.004
不同形式假言易位之差异
假言易位4种表现形式在句法结构上有着相似之处,但是在作为推理规则或公理时所表现出来的推理能力确实迥异.在经典命题逻辑中,它们之间的推理能力差异在形式上表现为双重否定,而深层的原因是否定词在条件句中前后件的位置不同,即否定与实质蕴涵的条件句之间的复杂关系造成的.
假言易位、公理、规则、否定、实质蕴涵
23
B815.3(逻辑学(论理学))
湘潭大学第五批教改项目"《普通逻辑》课程及其教学现代化的改革研究"0129/2904025
2009-12-18(万方平台首次上网日期,不代表论文的发表时间)
共4页
15-18