命题逻辑，命题逻辑,mingti luoji，命题逻辑,mingti,luoji，[拼音]：mingti luoji[外文]：propositional logic研究由命题经使用命题连接词构成的更复杂的命题，以及这样构成的命题之间的推理关系。命题演算是命题逻辑的形式系统(见逻辑演算)，它是19世纪70年代至20世纪初，在对数学基础及数学...
假言命题，假言命题,jiayan mingti，假言,命题,mingti,jiayan，[拼音]：jiayan mingti[外文]：hypothetical proposition指形式为“如果A则B”的复合命题。又称条件命题。其在前的支命题叫做前件，在后的支命题叫做后件。假言命题陈述一种事物情况是另一种事物情况的条件。在形式逻辑中，命...
直言命题，直言命题,zhiyan mingti，直言,命题,mingti,zhiyan，[拼音]：zhiyan mingti[外文]：categorical proposition指直接陈述对象有无某种性质的命题。这是传统逻辑中的一类最简单的命题。逻辑史上最早详细研究这类命题的是亚里士多德，但他并没有使用“直言命题”这个名称，而称之为简单...