[請益] 離散數學基礎題

[chemical1223 (康康康康康康)]

嗯...不確定適不適合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
推 LeoSW:0/2 = 0..
推 yauhh:直接想到的是,必要條件是x是正整數中所有的四倍數.
→ yauhh:0的確是個爭議點,但是0/2有意義,2/0才是無意義.你多心了.
推 LeoSW:是充分條件吧  如果轉不過來用 ~Q -> ~P 也許會比較好理解
→ yauhh:倒過來卻複雜得多,要知道怎麼從~Q演繹出一個~P而且能抽出P
推 LeoSW:恩對倒過來滿難的 而且樓上說的是對的 必要條件是四的倍數
→ LeoSW:我會錯意了sorry  充分條件則鬆很多~