1.1.2逻辑联结词 定义1.1-7设p、q为命题,复合命题 “如果p,则q”称作p与q的蕴涵式,记作 p→>q称p为蕴涵式的前件,q为蕴涵式的后 件,“→”为蕴涵联结词p→>q为假当且仅 当p为真且q为假 自然语言中的“若.….0 假 如.那么 既然.…那 就..”、“倘若..航”等都可表 示蕴涵
1.1.2 逻辑联结词 定义1.1-7 设p、q为命题，复合命题 “如果p,则q”称作p与q的蕴涵式，记作 p→q.称p为蕴涵式的前件，q为蕴涵式的后 件，“→”为蕴涵联结词.p→q为假当且仅 当p为真且q为假. 自然语言中的“若……则……”、“假 如……那么……”、“既然……那 就……”、“倘若……就……”等都可表 示蕴涵
1.1.2逻辑联结词 定义1.1-8设p、q为命题,复合命题“p 当且仅当q”称作p与q的等价式,记作p4 q,称“←”为等价联结词.pq为真当且 仅当p、q真值相同 自然语言中的“当且仅当”、“充分必 要价 “相同” 样”等都可表示等
1.1.2 逻辑联结词 定义1.1-8 设p、q为命题，复合命题“p 当且仅当q”称作p与q的等价式，记作p ↔ q，称“↔”为等价联结词.p ↔ q 为真当且 仅当p、q真值相同. 自然语言中的“当且仅当”、“充分必 要”、“相同”、“一样”等都可表示等 价
1.1.3命题的符号化 由于通常对一些命题及推理是用自然语言表达的,首 先需要把自然语言形式化为逻辑语言,即以符号表示命 题,用联结词联结命题 同时,应注意自然语言通常带有多义性,人们对同 语句有不同的理解,导致同一语句不等价的逻辑描述. 在将命题逻辑中的命题进行符号化处理时,首先要分 清是原子命题还是复合命题,其次再将命题符号化.一般 地,对于原子命题用大写英文字母来表示肯定语句,对于 定语句在肯定语句前面加上“非(一)”联结词;对于 复合命题要进行分析,根据复合命题所陈述的含义,将复 合命题分解成若干原子命题,再选用适当的联结词,然后 可以将复合命题符号化
1.1.3 命题的符号化 由于通常对一些命题及推理是用自然语言表达的，首 先需要把自然语言形式化为逻辑语言 ，即以符号表示命 题，用联结词联结命题. 同时，应注意自然语言通常带有多义性，人们对同一 语句有不同的理解，导致同一语句不等价的逻辑描述. 在将命题逻辑中的命题进行符号化处理时，首先要分 清是原子命题还是复合命题，其次再将命题符号化.一般 地，对于原子命题用大写英文字母来表示肯定语句，对于 否定语句在肯定语句前面加上“非（﹁）”联结词；对于 复合命题要进行分析，根据复合命题所陈述的含义，将复 合命题分解成若干原子命题，再选用适当的联结词，然后 可以将复合命题符号化
1.2命题公式及其分类 1.2.1命题公式 ■122真值表及命题公式的分类
1.2 命题公式及其分类 1.2.1 命题公式 1.2.2 真值表及命题公式的分类