Amrstrong公理系统的三条附加的推理规则有()
A: 分解规则
B: 合并规则
C: 传递律
D: 增广律
E: 自反律
F: 伪传递规则
A: 分解规则
B: 合并规则
C: 传递律
D: 增广律
E: 自反律
F: 伪传递规则
举一反三
- Amrstrong公理系统的三条基本推理规则有() A: 自反律 B: 伪传递规则 C: 合并规则 D: 分解规则 E: 增广律 F: 传递律
- Amrstrong公理系统的三条基本推理规则有( )。 A: 自反律 B: 传递律 C: 增广律 D: 分解规则
- Armstrong公理系统的推理规则不包括( )。 A: 自反律 B: 增广律 C: 传递律 D: 交换律
- 下面哪项不是Armstrong公理系统的推理规则( )。 A: 自反率 B: 增广律 C: 结合律 D: 传递律
- 关系属性集为U,如果有A→B,A→C,则可推出A→BC,推理依据是Armstrong公理推理规则中的( )。 A: 合并规则 B: 伪传递规则 C: 分解规则 D: 自反律