看板 [ Grad-ProbAsk ]
討論串[理工] [離散]邏輯
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
[理工] [離散]邏輯
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者Austin9 (奧斯丁)時間15年前 (2011/01/04 23:17), 編輯資訊
0
0
0
內容預覽:
Let A and B be propositional formulas.Then B is a logical consequence of A ifand only if (A ^ ┐B) is satisfiable.. 請問一下，這題為什麼答案是false啊？謝謝. --. ※ 發信站:
#1
[理工] [離散]邏輯
推噓0(0推 0噓 6→)留言6則，0人參與, 最新作者Austin9 (奧斯丁)時間15年前 (2011/01/04 22:51), 編輯資訊
0
0
0
內容預覽:
Let L(x,y) be the propositional function "x loves y.". 請問一下，Nobody loves everyone.為什麼是"for all x,存在y ┐L(x,y)". 我的想法是for all y說，但答案是存在y，想不透，有人可以教一下嗎？謝謝
首頁
上一頁
1
下一頁
尾頁