假言推理(A→B)∧A→B，假言三段论(A→B)∧(B→C)→(A→C)。()

【参考答案】

正确