[理工] [離散]邏輯

[Austin9 (奧斯丁)]

Let A and B be propositional formulas.Then B is a logical consequence of A if
and only if (A ^ ┐B) is satisfiable.
請問一下，這題為什麼答案是false啊？謝謝

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 61.62.94.71