# 肯定前件

> 在逻辑中，肯定前件（拉丁语：modus ponens）是有效的、简单的论证形式（常缩写为MP）: 如果P，则Q；且P为真，故Q为真。

- ID: m11715
- 分类: decide
- 领域: 决策科学

## 定义

最基本的演绎推理形式。如果P，则Q；P发生了；所以Q发生。公式：((P → Q) ∧ P) ⊢ Q。脚手架作用：因果链检查。这是逻辑的基石。在分析问题时，明确你的大前提（规则）和小前提（事实）。很多错误决策是因为大前提本身就是错的（P推不出Q），或者把相关性误认为是因果性。

## 机制

这是分离法则（Modus Ponens），有效演绎：若 P→Q 为真且 P 为真，则 Q 必然为真。保真性来自蕴含的定义；只要两个前提成立，结论无可置疑。

## 练习

明确大前提规则（P→Q）与小前提事实（P）；确认二者都为真；推出 Q。分析决策时先检验大前提是否真成立（P 真能推 Q 吗）。

## 脚手架用法

因果链检查。这是逻辑的基石。在分析问题时，明确你的大前提（规则）和小前提（事实）。很多错误决策是因为大前提本身就是错的（P推不出Q），或者把相关性误认为是因果性。

[阅读网页](https://thinkingmodels.site/entries/detail/m11715)