中国十五讲读后感600字摘录(16)

量词包括全称量词和存在量词，加上了前面所说的原子公式，就能成立本讲的题目提及的“量化公式”，全称量词是包括全部的，对于所有，需要全部都成立，那么这个命题才是正确的;而存在量词是一部分的，某一些，只需要有一个符合符合条件即可。量词有其管辖的范围，叫做“辖域”。在实际生活中，为了方便且通俗易懂，可以将复杂的文字转化为符号，一个简单的符号可以代表多个文字组成才能表达的意思，可以说他的发明是很实用了。直言命题的符号化的成立也是需要条件的，包括以下几点：全称的直言命题的符号化应该是一个全称蕴含式，特称的"直言命题的符号化是存在直取式，单称的直言命题应该符号化为原子公式，在我看来，就是说全称命题应该转化成全集，特称命题转化为特殊的集合，单称命题转化为一个，从其表面的意思来看，就是对象之间具有某种关系的命题，包括个体词和关系谓词。
关系推理的符号化，即将推理的前提和结论符号化，虽说这样子复杂了一点，但是着实增强了学者的逻辑推理能力、语言文字表达的转化能力以及抽象的逻辑能力。二元关系是指两个对象之间的逻辑性质，即关系的自返性、对称性和传递性。
谓词逻辑的意义和真假是通过模型和赋值来实现的，说实话读到这里，我是看不怎么懂的，一大堆的字母符号，和看起来差不多的文字，着实让我头晕。一个模型包括以下因素：个体域D、个体常项在个体域D中的值以及谓词符号在个体域中D的解释。当谓词逻辑的一个闭公式只含有这些成分，当给定模型后，闭公式的意义就能确定。当一个公式含有自由变项，即本身是开公式时，他的意义和真假就尚且不能确定。谓词逻辑的普遍有效式有一般到个别的推理、个别到存在的推理、矛盾律、排中律在谓词逻辑的表现形式，全称量词和存在量词的相互定义，全称量词对于蕴涵和合取的分配律，存在量词对析取的分配律。不得不说，逻辑学真的是博大精深，不求甚解是不能深知的。