下列说法正确的有：A.A→B表示以公式A为前提可以推出B

B.A├B表示以公式A为前提可以推出B

C.如果A→B是定理，那么以公式A为前提可以推出B

D.如果A├B，那么A→B是定理

正确答案：A├B表示以公式A为前提可以推出B；如果A→B是定理，那么以公式A为前提可以推出B；如果A├B，那么A→B是定理