月度档案：2023年10月

逻辑图•解释对偶性2

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

由布尔变量表示的逻辑概念有其外延、它在指定的话语空间中所涵盖的情况、它的理解（或内涵）、它在一个指定的谓词层次结构中所隐含的属性。公式和图表…继续阅读→

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

逻辑图•解释对偶性1

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

逻辑图的实体解释和存在解释之间的对偶性是数学对称的一个很好的例子，在这种情况下是二阶对称。这一阶和更高阶的对称性给了我们概念上的处理…继续阅读→

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

皮尔斯定律•7

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

等式形式（续）以下动画重放了证明的步骤。参考皮尔士，查尔斯·桑德斯（1885），“关于逻辑代数：对符号哲学的贡献”，《美国数学杂志》7（1885年），180-202。重印（CP 3.359-403），（CE 5，162-190）…继续阅读→

发布于 C.S.皮尔斯,等式推理,形式法则,逻辑,逻辑图,数学,皮尔斯,皮尔士定律,证明理论,命题微积分,命题作为类型类比,符号学,斯宾塞·布朗,可视化 | 已标记 ,,,,,,,,,,,,, | 5条评论

皮尔士定律•6

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

等式形式（续）使用逻辑图条目中列出的公理和定理，皮尔士定律的等式形式可以用以下方式证明。参考皮尔士，查尔斯·桑德斯（1885），“关于逻辑代数：A…继续阅读→

发布于 C.S.皮尔斯,等式推理,形式法则,逻辑,逻辑图,数学,皮尔斯,皮尔士定律,证明理论,命题微积分,命题作为类型类比,符号学,斯宾塞·布朗,可视化 | 已标记 ,,,,,,,,,,,,, | 5条评论

皮尔士定律•5

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

等式形式皮尔士定律的一种更强大的形式也成立，在这种形式中，最终的含义被观察到是可逆的，从而导致以下等价性。相反的含义在一般原则上足够清楚，因为它适用于任何表示…继续阅读→

发布于 C.S.皮尔斯,等式推理,形式法则,逻辑,逻辑图,数学,皮尔斯,皮尔士定律,证明理论,命题微积分,命题作为类型类比,符号学,斯宾塞·布朗,可视化 | 已标记 ,,,,,,,,,,,,, | 5条评论

皮尔士定律•4

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

校样动画以下动画重放了校样的步骤。参考皮尔士，查尔斯·桑德斯（1885），“逻辑代数：对符号哲学的贡献”，《美国数学杂志》7（1885年），180-202。重印（CP 3.359-403），（CE 5，162-190）。资源…继续阅读→

发布于 C.S.皮尔斯,等式推理,形式法则,逻辑,逻辑图,数学,皮尔斯,皮尔士定律,证明理论,命题微积分,命题作为类型类比,符号学,斯宾塞·布朗,可视化 | 已标记 ,,,,,,,,,,,,, | 5条评论

皮尔斯定律•3

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

图形证明使用逻辑图文章中给出的公理集，皮尔士定律可以用以下方式证明。参考皮尔士，查尔斯·桑德斯（1885），“逻辑代数：对符号哲学的贡献”…继续阅读→

发布于 C.S.皮尔斯,等式推理,形式法则,逻辑,逻辑图,数学,皮尔斯,皮尔士定律,证明理论,命题微积分,命题作为类型类比,符号学,斯宾塞·布朗,可视化 | 已标记 ,,,,,,,,,,,,, | 5条评论

皮尔士定律•2

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

图形表示用逻辑图形语言表示命题，并在存在解释下操作，皮尔士定律通过以下形式等价或逻辑方程表示。参考皮尔士，查尔斯·桑德斯（1885），“关于逻辑代数…继续阅读→

发布于 C.S.皮尔斯,等式推理,形式法则,逻辑,逻辑图,数学,皮尔斯,皮尔士定律,证明理论,命题微积分,命题作为类型类比,符号学,斯宾塞·布朗,可视化 | 已标记 ,,,,,,,,,,,,, | 5条评论

皮尔士定律•1

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

经典逻辑皮尔士定律的奇异真理是一个命题演算公式，它陈述了经典逻辑的一个非显而易见的真理，并提供了一种定义经典命题演算的新方法。导言皮尔士定律通常表示为以下…继续阅读→

发布于 C.S.皮尔斯,等式推理,形式法则,逻辑,逻辑图,数学,皮尔斯,皮尔士定律,证明理论,命题微积分,命题作为类型类比,符号学,斯宾塞·布朗,可视化 | 已标记 ,,,,,,,,,,,,, | 5条评论

皮尔士定律

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

经典逻辑皮尔士定律的奇异真理是一个命题演算公式，它陈述了经典逻辑的一个非显而易见的真理，并提供了一种定义经典命题演算的新方法。导言皮尔士定律通常表示为以下…继续阅读→

发布于 C.S.皮尔斯,等式推理,形式法则,逻辑,逻辑图,数学,皮尔斯,皮尔士定律,证明理论,命题微积分,命题作为类型类比,符号学,斯宾塞·布朗,可视化 | 已标记 ,,,,,,,,,,,,, | 5条评论