有效式相关论文
现行普通逻辑理论把二难推理的假言前提局限于充分条件假言判断和必要条件假言判断.而把充要条件假言判断排除在外,从而遗漏了一部......
在本文中,通过在标准邻域模型中引入一个简单的模型性质,我们为偶然逻辑提供一个新的邻域语义。这简化了Fan and van Ditmarsch(20......
【正】 一现行的形式逻辑理论认为在性质判断换位法直接推理过程中违反规则就不能必然地得出正确的结论,凡是违反规则的推理形式都......
对普通逻辑的三段论格的特殊规则，流行的各种教材在理解或阐述上存在着一些分歧，学术界也有些讨论，本文认为，只有将三段论各格的特殊规......
<正> 我省自96年起在高中全部使用人教版现行《世界近代现代史》和《中国近代现代史》教材。教学中,一线教师使用时普遍感到最大的......
三段论的“Ｅ、Ｉ”检验方法是一种全新的检验方法。它只需用类似算术加减法一样的运算，就能简捷、快速地检验三段论是否有效......
充分条件假言推理的否定前件式和肯定后件式与必要条件假言推理的肯定前件式和不定后件式不应被排除在有效式之外，真正的无效式是指......
命题推理是逻辑学的重要内容,也是物理教学中培养学生逻辑思维的重要载体。对直言命题变形推理的有效形式加以分析、讨论,对逻辑学......
