命题逻辑

June 1, 2022

Proposition Logic #

Proposition #

命题： 描述性语句，要么真，要么假

Conditional Statements #

条件语句

if p, then q, i.e. \(p \rightarrow q\)

推理规则 #

例如：

假设 p 为 true 时 p 能推出 q，那么 q 为 true

即: \((p\land(p \rightarrow q)) \rightarrow q\)

p

\(p \rightarrow q\) (条件语句)

\(\therefore q\)

Argument Form #

推理方式，论证方式