查看“︁逻辑”︁的源代码

数学逻辑研究命题、推理与证明的形式结构。通过明确前提与推理规则，可以检验一个结论是否由给定条件推出。

== 核心表达 ==
{{定义|内容=<math display="block">(P\Rightarrow Q)\land P\Rightarrow Q</math>}}

== 直觉与例子 ==
上式对应肯定前件规则：如果“P 蕴含 Q”成立，并且 P 成立，那么 Q 成立。注意不要把这个规则误用成肯定后件。

== 继续阅读 ==
* [[群]]
* [[图论]]
[[分类:离散数学]]