逻辑学

home

May 01, 20255 min read

Output

一级链接

命题逻辑

arrow_forward
命题逻辑

>[!note] 概念定义 > >可以判断真假的语句(陈述、句子、断言)叫做命题。

谓词逻辑

arrow_forward

谓词逻辑是命题逻辑的扩展，它引入了更复杂的结构来表示和分析命题。以下是谓词逻辑的主要概念和应用举例：

有效推理

arrow_forward

有效推理是[[concept/命题逻辑|命题逻辑]]在生活中的应用，有理不在嗓门高，在于摆事实、讲逻辑。

无效推理

arrow_forward

无效推理或者推理谬误是指推理形式不正确,但结论看起来似乎合理的推理。它们可能导致错误的结论,但乍一看似乎有道理。

间接关联

命题逻辑

命题逻辑

>[!note] 概念定义 > >可以判断真假的语句(陈述、句子、断言)叫做命题。

简单命题

arrow_forward

定义: 简单命题是不能再分解为更简单命题的基本陈述。

复合命题

arrow_forward

复合命题是由两个或多个concept/简单命题通过逻辑连接词组合而成的命题。

逻辑连接词

arrow_forward

连接词是表达命题之间关系的逻辑符号。有五个基本连接

命题的真值

arrow_forward

命题的真值是指命题的真假状态，用于阐明命题的意义，在经典逻辑中,每个命题都有且仅有两种可能的真值:真(T)或假(F)。v(P)v(P) 对命题PP 的求值，即返回其真值。

命题公式

arrow_forward

命题公式是由命题变元和concept/逻辑连接词构成的表达式。具体来说:

逻辑谜题

arrow_back
逻辑谜题

逻辑谜题是指可以通过演绎推理解决的问题。本页总结了人们可能会遇到的逻辑谜题的类型以及