单项选择题
A.从A∨B和¬B推出A;从A∨B和¬A推出BB.从A∨B推出A;从A∨B推出BC.从A→B和¬A→B推出BD.从A∨B、A→C和B→C推出C
A.A是矛盾式B.A是可满足式C.A是重言式D.A不是重言式
A.矛盾式B.重言式C.偶真式D.可满足式