微分命题演算•11

发布时间： 2023年11月26日 通过 乔恩·奥布里

特殊类命题（续）

接下来，我们讨论积极命题家族，并遵循与之前相同的计划，追踪它们在三维话语宇宙中的形成规则。

肯定命题

这个积极命题,\{p:\mathbb{B}^n\to\mathbb2{B}}=（\mathbb{B}^n\xrightarrow{p}\mathbb-{B}），可以写成产品：

\prod_{i=1}^n e_i~=~e_1\cdot\ldots\cdot e_n~\text{其中}~\left\{\begin{矩阵}e_i=a_i\\text{或}\\e_i=1\end{矩阵{}\right\}~\text{for}~i=1~\text}到}~n。

在基于三个布尔变量的话语世界中，p、 q、r、，有2^3 = 8积极命题，形状如图9所示。

关于三个变量的正命题
\文本{图9。正命题}:\mathbb{B}^3\to\mathbb{B}

顶部是秩3的正命题的文氏图，对应于布尔积或逻辑连词第qr页。

接下来是秩2的三个正命题的文氏图，对应于三个布尔积，pr、qr、pq、，分别是。

其次是秩1的三个正命题，它们都是三个基本命题，p、 q，r。

底部是秩为0的正命题、处处都是真命题或常数1函数，可以用以下形式表示\文本{（}~\texttt{）}或者简单地说1

资源

复写的副本：FB|差分逻辑•形式法则•Mathstodon公司•Academia.edu学院
复写的副本：概念图•控制论•结构建模•系统科学

此条目发布于安切克,布尔函数,C.S.皮尔斯,仙人掌图形,范畴理论,更改,计算复杂性,控制论,微分分析图灵自动机,微分学,微分逻辑,离散动力学,动力学系统,等式推理,功能逻辑,梯度下降,图论,群论,全息发光体,指示器功能,逻辑,逻辑图,数学模型,数学,最小否定算子,彩绘仙人掌,皮尔斯,命题微积分,命题方程推理系统,时间,可视化和标记,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,.将永久链接.

2对的回应微分命题演算•11

  1. Pingback:微分逻辑综述•6 |探究

  2. Pingback:微分逻辑综述•7 |探究

留下评论

该网站使用Akismet来减少垃圾邮件。了解如何处理您的评论数据.