多项选择题
你可能喜欢
A.A├B表示以公式A为前提可以推出B B.如果A→B是定理,那么以公式A为前提可以推出B C.A→B表示以公式A为前提可以推出B D.如果A├B,那么A→B是定理
赞题库-搜题找答案
(已有500万+用户使用)
无需下载 立即使用
版权所有©考试资料网(ppkao.com)All Rights Reserved