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

作者triumphant10 (yu12510 )

看板Math

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

時間Sun Sep 23 17:22:34 2018

[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

→ ERT312 : 你的敘述不完整，而且{Λ,Ｖ}也沒有 functionally 09/23 18:32

→ ERT312 : complete 09/23 18:33

→ triumphant10: 請問要如何證明他沒有functionally complete 09/23 23:06

推 q79236 : complete有三個條件 1.Not 2.and 3.or 都能被製作 09/24 00:55

→ q79236 : 出來才是complete 09/24 00:55

→ ERT312 : 因為只要input都是True，只透過Λ,Ｖ不管怎麼組合 09/24 09:21

→ ERT312 : 是弄不出 False的 09/24 09:21

推 alan23273850: {and,or}不完備，not(T)=F，但 T 的 and 與 or 組合 09/24 18:15

→ alan23273850: 都是 T，就弄不出來 GG 惹 09/24 18:15

推 timjoker : post’s completeness criteria 09/24 22:57

謝謝各位的解釋，讓我搞懂許多了! ※ 編輯: triumphant10 (1.164.8.118), 09/26/2018 21:37:33