[理工] [離散]邏輯
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
討論串 (同標題文章)
完整討論串 (本文為第 2 之 2 篇)：
理工
0
6