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

下列说法正确的有：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是定理