[理工] 107台大電機丙離散 leegaga61029 PTT批踢踢實業坊

作者: leegaga61029 (粒粒) 2020-01-16 23:24:56

https://i.imgur.com/Re3Arzp.jpg
不好意思我想請問一下第四題的
(a) (c) (e)三個選項
然後c.的functionally complete set請問要怎麼判斷比較明確呢～謝謝
邏輯的題目剛好比較不會QQ

作者: DLHZ ( ) 2020-01-16 23:36:00

我自己是推看能不能弄出NOT 加上{AND, OR, →}其中一個有理數的cardinality不小於整數的所以存在

作者: mi981027 (呱呱竹) 2020-01-17 00:07:00

a 那兩個存在可以交換交換後變數互換就跟左式一模一樣了可以這樣理解：假設左式取的x,y分別為1,2, 那右式x,y分別取2,1 不就跟左式完全一樣了e 有理數跟整數都能被證明是countable的所以不只可以找到1-1 還能onto 他們的cardinality一樣

作者: mistel (Mistel) 2020-01-17 00:11:00

有理數到整數應該蠻好想的 Q~Z×Z~Z

作者: leegaga61029 (粒粒) 2020-01-17 14:03:00

好的～我再思考一下謝謝你們～邏輯問題好難XD

繼續閱讀