主题一计划•附录

作者：乔恩·奥布里

---

•概述•博客•博览会•逻辑Cacti•附录•文档历史记录•

---

附录

表1。命题逻辑演算的句法和语义

表1收集了用仙人掌语言连接词表示的基本命题形式的样本。

${\显示样式{\text{表1。命题逻辑演算的句法和语义命题逻辑演算的句法和语义$

表A.存在论解释

表A说明了存在解释仙人掌图形和仙人掌表达式，为一些最基本和常见的形式提供英语翻译。

${\显示样式{\文本{表A.存在解释}}}$

表B.实体解释

表B说明了实体解释仙人掌图形和仙人掌表达式，为一些最基本和常见的形式提供英语翻译。

${\显示样式{\text{表B.实体解释}}}$

表C.仙人掌结构的逻辑解释

表C总结了将仙人掌结构映射到逻辑意义的两种方法，它比较了基本仙人掌构造的实体和存在解释，实际上是图形常量和连接词。

${\displaystyle{\text{表C.仙人掌结构的逻辑解释}}}$

---

•概述•博客•博览会•逻辑Cacti•附录•文档历史记录•

---