作者chemical1223 (康康康康康康)
看板logic
標題[請益] 離散數學基礎題
時間Thu Oct 1 01:09:49 2009
嗯...不確定適不適合po在板上
如果不適合的話麻煩幫我刪除，謝謝
Mathematicians say that"Statment P is a sufficient condition for statement
Q " if P → Q is true. In other words, in order to know that Q is true, it is
sufficient to know that P is true. Let x be an integer. Give a sufficient
condition on x for x/2 to be an even integer.
上面是課本上的習題，我目前只有想到 x 本身是偶數才有可能除2後還會是偶數
又題目說x為一整數，也就是說x可能為0，但0/2不是無意義嗎? 那如果x=0又要如何表示?
請問板上先進我第一個想到的可能要怎麼樣用邏輯符號來表示呢？
需要先把我認為的p跟q寫出來後再轉成符號嗎??
麻煩板上先進指導
謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.44.212.241
1F：推 LeoSW:0/2 = 0.. 10/01 01:27
2F：推 yauhh:直接想到的是,必要條件是x是正整數中所有的四倍數. 10/01 14:41
3F：→ yauhh:0的確是個爭議點,但是0/2有意義,2/0才是無意義.你多心了. 10/01 14:42
4F：推 LeoSW:是充分條件吧 如果轉不過來用 ~Q -> ~P 也許會比較好理解 10/01 23:17
5F：→ yauhh:倒過來卻複雜得多,要知道怎麼從~Q演繹出一個~P而且能抽出P 10/02 00:17
6F：推 LeoSW:恩對倒過來滿難的 而且樓上說的是對的 必要條件是四的倍數 10/02 00:40
7F：→ LeoSW:我會錯意了sorry 充分條件則鬆很多~ 10/02 00:40