论文部分内容阅读
命题逻辑仅仅考虑命命题间的关系,把原子命题作为基本单位,而不探究其内部结构.而谓词逻辑则执著于命题的内部构件,着重研究量词从而需要以非逻辑词语作为命题形式的基本元件;在谓词逻辑中,原子命题被进一步分析为谓词、个体词、量词和联结词.二者有着质的不同,对其有效性的判定方法进行分析,会使我们对于他们的性质有着更深层次的理解.