[其他] [離散數學] 如何證明 Complete

看板Math作者 (yu12510 )時間7年前 (2018/09/23 17:22), 7年前編輯推噓3(3推 0噓 7→)
留言10則, 5人參與, 7年前最新討論串1/1
[Complete] A collection S of logical proposition is complete if every compound proposition is logical equivalent to a proposition which only uses operators in a set. 請問要證明是否為complete有甚麼方法呢? 我目前只知道找個例子，然後證明他是complete 但如果今天要證明他不是complete的話又要怎麼處理? 比如說 {Λ,Ｖ} 這個，要如何證明是個 complete set ? 目前剛學離散數學，做題目時遇到好多的困難啊啊啊啊~~ 求大神解答 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 1.164.8.118 ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1537694556.A.1B6.html
→
09/23 18:32, 7年前 , 1F
你的敘述不完整，而且{Λ,Ｖ}也沒有 functionally
09/23 18:32, 1F
→
09/23 18:33, 7年前 , 2F
complete
09/23 18:33, 2F
→
09/23 23:06, 7年前 , 3F
請問要如何證明他沒有functionally complete
09/23 23:06, 3F
推
09/24 00:55, 7年前 , 4F
complete有三個條件 1.Not 2.and 3.or 都能被製作
09/24 00:55, 4F
→
09/24 00:55, 7年前 , 5F
出來才是complete
09/24 00:55, 5F
→
09/24 09:21, 7年前 , 6F
因為只要input都是True，只透過Λ,Ｖ不管怎麼組合
09/24 09:21, 6F
→
09/24 09:21, 7年前 , 7F
是弄不出 False的
09/24 09:21, 7F
推
09/24 18:15, 7年前 , 8F
{and,or}不完備，not(T)=F，但 T 的 and 與 or 組合
09/24 18:15, 8F
→
09/24 18:15, 7年前 , 9F
都是 T，就弄不出來 GG 惹
09/24 18:15, 9F
推
09/24 22:57, 7年前 , 10F
post’s completeness criteria
09/24 22:57, 10F
謝謝各位的解釋，讓我搞懂許多了! ※ 編輯: triumphant10 (1.164.8.118), 09/26/2018 21:37:33
‣ 更多 triumphant10 的文章
文章代碼(AID): #1RfrjS6s (Math)