97政大

請問這題是什麼意思

let A and B be propositional formulas. then B is a logical consequence of A if and only if
(A and ~B) is satisfiable


麻煩解答了 謝謝