# 命题演算

> 使用逻辑符号（与、或、非、蕴含）对命题进行形式化推演，通过规则推导出新命题。

- ID: m08459
- 分类: structure
- 领域: 逻辑学

## 定义

使用逻辑符号（与、或、非、蕴含）对命题进行形式化推演，通过规则推导出新命题。涵盖变体：命题演绎、命题转换、命题下推模型、命题下行法、命题降维演绎脚手架作用：机械化推理，排除直觉偏差。把"我觉得对"变成"可证明为真"，用形式化规则替代模糊的人类直觉，确保推理的严密性。

## 机制

命题演算（Propositional calculus）以命题为单元、用联结词与推理规则研究有效推理形式。

## 练习

符号化命题；用公理/自然演绎证明。

## 脚手架用法

机械化推理，排除直觉偏差。把"我觉得对"变成"可证明为真"，用形式化规则替代模糊的人类直觉，确保推理的严密性。

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