如果M→N，ON→P，那么OM→P成立，该规则称（ ） 。
A: 增广律
B: 传递律
C: 伪传递律
D: 分解律
A: 增广律
B: 传递律
C: 伪传递律
D: 分解律
举一反三
- 如果X→Y和WY→Z成立，那么WX→Z成立。这条规则称为（） A: 增广律 B: 传递律 C: 伪传递律 D: 分解律
- Amrstrong公理系统的三条基本推理规则有（） A: 自反律 B: 伪传递规则 C: 合并规则 D: 分解规则 E: 增广律 F: 传递律
- Amrstrong公理系统的三条附加的推理规则有（） A: 分解规则 B: 合并规则 C: 传递律 D: 增广律 E: 自反律 F: 伪传递规则
- Amrstrong公理系统的三条基本推理规则有（ ）。 A: 自反律 B: 传递律 C: 增广律 D: 分解规则
- Armstrong公理系统的推理规则不包括( )。 A: 自反律 B: 增广律 C: 传递律 D: 交换律