逻辑

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

核心表达

(P \Rightarrow Q) \land P \Rightarrow Q

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