看板 [ logic ]
討論串[問題] 請幫我解釋一下
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: [問題] 請幫我解釋一下
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者ccshan (善終結)時間22年前 (2003/11/04 06:13), 編輯資訊
0
0
0
內容預覽:
在 tautology 一詞的附近提到 satisfiable 一詞，應該是前者的意思。. --. ▼ 單中杰．ken@digitas.harvard.edu．善終結 ▼. --. ※ 發信站: 批踢踢實業坊(ptt.cc). ◆ From: 140.247.241.146.
#1
[問題] 請幫我解釋一下
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者zero4 (champion)時間22年前 (2003/10/27 15:43), 編輯資訊
0
0
0
內容預覽:
嗨 各位好. 小弟在查重言式時，查到下列一段話：. "一個真值形式，如果不論其中的命題變項取什麼樣的真值，它恆取真值真，. 則該真值形式是重言式". 其中 "不論其中的命題變項取什麼樣的真值，它恆取真值真" 這句話我一直想不通，. 麻煩各位先進，可以用 (p -> q) V q 這個例子，解釋給小弟
首頁
上一頁
1
下一頁
尾頁