摘要：
定义1-4。1在命题公式中，对于分量指派真值的各种可能组合，就确定了这个命题公式的各种真值情况，把它汇列成表，就是命题公式的真值表。 现举例说明如下： 例题1 构造┓p∨q的真值表。 解 表1-4.1 p q ┓p ┓p∨q t t f t t f f f f t t t f f t t 例题2 给出（... 阅读全文
posted @ 2010-08-13 15:42
emanlee
阅读(7461)
评论(0)
推荐(1)
摘要：
前面已经提到，不包含任何联结词的命题叫做原子命题，至少包含一个联结词的命题称作复合命题。 设p和q是任意两个命题，则┓p，p∨q，（p∧q）∨（p→q），p«（q∨┓p）等都是复合命题。 若p和q是命题变元，则上述各式均称作命题公式。p和q称作命题公式的分量。 必须注意：命题公式是没有真假值的，仅当在一个... 阅读全文
posted @ 2010-08-13 15:40
emanlee
阅读(6172)
评论(4)
推荐(1)
摘要：
在自然语言中，常常使用“或”，“与”，“但是”等一些联结词，对于这种联结词的使用，一般没有很严格的定义，因此有时显得不很确切。在数理逻辑中，复合命题是由原子命题与逻辑联结词组合而成，联结词是复合命题中的重要组成部分，为了便于书写和进行推演，必须对联结词作出明确规定并符号化。下面介绍各个联结词。(1)否定 定义1-2.1设p为一... 阅读全文
posted @ 2010-08-13 15:39
emanlee
阅读(3757)
评论(0)
推荐(2)
摘要：
在数理逻辑中，为了表达概念，陈述理论和规则，常常需要应用语言进行描述，但是日常使用的自然语言进行描述，往往叙述时不够确切，也易产生二义性，因此就需要引入一种目标语言，这种目标语言和一些公式符号，就形成了数理逻辑的形式符号体系。所谓目标语言就是表达判断的一些语言的汇集，而判断就是对事物有肯定或否定的一种思维形式，因此能表达判断的语言事故陈述句，它称作命题。一个命题，总是具有一个“值... 阅读全文
posted @ 2010-08-13 15:38
emanlee
阅读(2794)
评论(1)
推荐(1)
摘要：
第一篇 数理逻辑 逻辑学是一门研究思维形式及思维规律的科学。逻辑规律就是客观事物在人的主观意识中的反映。 逻辑学分为辨证逻辑与形式逻辑两种，前者是以辨证法认识论的世界观为基础的逻辑学，而后者主要是对思维的形式结构和规律进行研究的类似于语法的一门工具性学科。思维的形式结构包括了概念，判断和推理之间的结构和联系，其中概念是思维的基本单位，通过概念对事物是否具有某种属性进行肯定或否定的回答，这就是判断... 阅读全文
posted @ 2010-08-13 15:35
emanlee
阅读(1049)
评论(0)
推荐(0)
浙公网安备 33010602011771号