本网站由以下捐款支持:
OEIS基金会
。
皮尔士1870年的《亲属逻辑》•概述
来自OeisWiki
此页面没有批准的修订,因此可能
不
已经是
检验过的
。
跳转到:
航行
,
搜索
作者:
乔恩·奥布里
•
概述
•
第1部分
•
第2部分
•
第3部分
•
工具书类
•
资源
•
博客系列
•
文档历史记录
•
选择1
字母的使用
选择2
字母对应的数字
选择3
包容、平等等的标志。
选择4
加法符号
选择5
乘法符号
选择6
乘法符号(续)
注释:集合为逻辑和
选择7
乘法符号(续)
注释:原型语法
选择8
乘法符号(续)
注释8.1
注释8.2
注释8.3
注释8.4
注释8.5
注释8.6
选择9
乘法符号(续)
注释9.1
注释9.2
注释9.3
注释9.4
注释9.5
绝对条款
对角线延伸
注释9.6
示例1
示例2
示例3
示例4
示例5
注释9.7
选择10
乘法符号(续)
注释10.1
注释10.2
评注注释10.3
评注10.4
评注注释10.5
注释10.6
注释10.7
注释10.8
注释10.9
注释10.10
注释10.11
注释10.12
选择11
乘法符号(续)
注释11.1
注释11.2
NOF 1(标称值1)
NOF二
NOF 3(NOF 3)
NOF四
注释11.3
注释11.4
注释11.5
注释11.6
注释11.7
注释11.8
注释11.9
注释11.10
注释11.11
注释11.12
注释11.13
注释11.14
注释11.15
注释11.16
注释11.17
注释11.18
注释11.19
注释11.20
注释11.21
注释11.22
评注注释11.23
评注注释11.24
选择12
内卷化的标志
注释12.1
注释12.2
注释12.3
示例6
注释12.4
例7
注释12.5
注释12.6
选择13
内卷化的符号(续)
选择A
选择B
•
概述
•
第1部分
•
第2部分
•
第3部分
•
工具书类
•
资源
•
博客系列
•
文档历史记录
•
类别
:
布尔代数
布尔函数
范畴理论
计算理论
功能逻辑
图论
群论
逻辑
逻辑图
查尔斯·桑德斯·皮尔斯
命题演算
关系理论
关系代数
符号学
签署关系
可视化
导航菜单
意见
第页
讨论
查看源代码
历史
个人工具
登录
请求帐户
导航
组织环境信息系统
Wiki主页
社区门户
系统状态
最近的更改
随机页面
帮助
搜索
高级搜索
工具
这里有什么链接
相关变更
特殊页面
可打印版本
永久链路
页面信息