Tags
41 个页面
离散数学
偏序关系
等价关系
关系闭包
自然语言命题符号化
关系
笛卡尔积
谓词逻辑语义
推理规则
推理
自然推理系统
1
2
3
4
5