# 存在图

> 由皮尔士(Peirce)发明的图形化逻辑表示法，用嵌套的封闭曲线（"切口"）表示否定，用空间并置表示合取，用"选择点"表示存在量化。

- ID: m08938
- 分类: learn
- 领域: 认知科学

## 定义

由皮尔士(Peirce)发明的图形化逻辑表示法，用嵌套的封闭曲线（"切口"）表示否定，用空间并置表示合取，用"选择点"表示存在量化。是命题逻辑和一阶逻辑的视觉化工具。脚手架作用：让逻辑关系"看得见"。将抽象的逻辑公式转为空间图形操作，降低形式推理的认知负荷，尤其适合处理多层嵌套的复杂逻辑。（合并：存在实例化推导——后者是存在图中的一种操作规则）

## 机制

Peirce 用嵌套封闭曲线（"切"）表示否定，空间并置表示合取，选择点表示存在量化。逻辑运算被转成图形的"插入/删去/迭代"等许可操作，使推理成可见的空间变换。

## 练习

用封闭曲线圈选命题表示否定嵌套。并置表示"且"。用选择点表示存在量词。依据图形规则（如切的迭代、去切）做推导。

## 脚手架用法

让逻辑关系"看得见"。将抽象的逻辑公式转为空间图形操作，降低形式推理的认知负荷，尤其适合处理多层嵌套的复杂逻辑。（合并：存在实例化推导——后者是存在图中的一种操作规则）

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