言语形式逻辑基础知识点.docVIP

言语形式逻辑基础知识点.doc

言语形式逻辑基础知识点

言语形式逻辑，也称为形式逻辑，是研究思维规律和推理规则的学科。它不关注思维内容的真假，而是关注推理形式的正确性。形式逻辑主要涉及命题逻辑和谓词逻辑两个部分。下面将详细介绍言语形式逻辑的基础知识点。

一、命题逻辑

命题逻辑是形式逻辑的基础部分，主要研究命题及其组合的推理规则。命题是指能够判断真假的陈述句。

1.命题及其符号表示

命题是形式逻辑的基本单位，通常用大写字母P,Q,R等表示。命题可以分为简单命题和复合命题。

简单命题是指不能再分解为其他命题的命题。例如，“今天是晴天”就是一个简单命题。

复合命题是由简单命题通过逻辑联结词组合而成的命题。逻辑联结词包括：

-合取联结词“∧”，表示“与”的意思，当且仅当两个命题都为真时，合取命题为真。

-析取联结词“∨”，表示“或”的意思，当且仅当两个命题至少有一个为真时，析取命题为真。

-负联结词“?”，表示“非”的意思，当且仅当命题为假时，负命题为真。

-蕴含联结词“→”，表示“如果……那么……”的意思，当且仅当前件为真而后件为假时，蕴含命题为假。

-双条件联结词“?”，表示“当且仅当”的意思，当且仅当两个命题真假相同时，双条件命题为真。

2.命题的真值表

真值表是用来表示命题及其组合的真假情况的一种工具。通过真值表可以清晰地展示不同命题组合的真假情况。