关于负假言判断的等值式的探讨

本文针对传统形式逻辑中的负假言判断的等值式提出了不同的看法 。

必要条件假言命题若干问题新探

就必要条件假言命题的汉语表达式及其分类、判定真假依据、负命题的等值式,以及以此类命题作前提的反三段论等问题,作出了全新的探讨。归纳出16种汉语表达式,并加以分类;认为:必要条件假言命题的真假只能依据其前、后件之间客观上是否具有必要条件关系之标准来判定;认为p←q实即p→□q,其否定式是“p∧□q”,而不是“p∧q”;揭示了必要条件反三段论的内涵、逻辑结构,并给出了它的有效推理式。

全功能运算集

本文对于命题演算中五种运算的集Ｓ∨＝｛Ｌ，∧，∨，→，｝，及其扩大集Ｓ＝Ｓ∪｛↑，↓，∨－，→｝论述了全功能的运算集。