逻辑图的变换•9

发布时间： 2024年5月13日 通过 乔恩·奥布里

符号学转换

主题：逻辑图的变换(4)•(5)•(6)•(7)•(8)

上次我们在T型在X（X）并看到每个都由一个逻辑图组成，其中T型修复、保存或转换为自身。因此，这四个逻辑图被称为自对偶或T型‑不变量.

一般来说，将实体解释和存在解释视为两种形式语言是有用的，这两种语言碰巧使用相同的符号集，每种符号都以自己的方式表示相同的形式对象集。然后T型定义了语言之间的转换，自对偶逻辑图是语言重合的点，相同的符号表示两种语言中相同的对象。正如每个隐语者及时发现的那样，这种“固定恒星”星座对于语言之间的导航是必不可少的。

回到手头的案例，其中T型作用于两个变量上16个布尔函数的16个逻辑图的选择，下表显示了所示布尔函数的值f:\mathbb{B}\times\mathbb{B}\to\mathbb2{B}对于每个自对偶逻辑图。

自对偶逻辑图

此处的函数索引为f{12}和f{10}被称为坐标投影 （x，y）\mapsto x和（x，y）\映射到y分别在第一和第二坐标上，函数索引为f{3}和f{5}是否定词吗（x，y）\mapsto\波浪线{x}和（x，y）\mapsto\tilde{y}这些预测的结果。

资源

复写的副本：FB|逻辑图•形式法则•马第个斯托登•Academia.edu学院
复写的副本：概念图•控制论•结构建模•系统科学

此条目发布于安切克,阿尼马塔,布尔代数,布尔函数,C.S.皮尔斯,仙人掌图形,约束满足问题,演绎,图解推理,二元性,等式推理,图论,解释二重性,形式法则,逻辑,逻辑图,数学,最小否定算子,模型理论,彩绘仙人掌,证明理论,命题微积分,命题方程推理系统,斯宾塞·布朗,可视化和标记,,,,,,,,,,,,,,,,,,,,,,,,.将永久链接.

6对逻辑图的变换•9

  1. Pingback:动画逻辑图综述•7 |探究探究

  2. Pingback:逻辑图的转换•10 |查询到查询

  3. Pingback:逻辑图的变换•11|探究到探究

  4. Pingback:逻辑图的转换•12 |探究到探究

  5. Pingback:逻辑图的转换•13 |探究到探究

  6. Pingback:逻辑图的转换•14 |探究到探究

留下评论

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