Re: [離散] 離散數學基礎題

[Honor1984 (希望願望成真)]

※ 引述《chemical1223 (康康康康康康)》之銘言：
: 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 = even integer = 2k  k integer

x = 4k

Sufficient condition x=4k k integer


: 上面是課本上的習題，我目前只有想到 x 本身是偶數才有可能除2後還會是偶數
: 又題目說x為一整數，也就是說x可能為0，但0/2不是無意義嗎? 那如果x=0又要如何表示?
: 請問板上先進我第一個想到的可能要怎麼樣用邏輯符號來表示呢？
: 需要先把我認為的p跟q寫出來後再轉成符號嗎??
: 麻煩板上先進指導
: 謝謝

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 122.124.101.179
→ Honor1984   :k integer 所以k=0也可以 0/2 = 0偶數
推 chemical1223:請問x=4k是怎麼導出來的呢??
→ Honor1984   :移項 或者同乘以2 x = 4k 這應該是充要條件
→ chemical1223:不好意思想再請問k是怎麼跑出來的?
→ Honor1984   :even integer偶數  所以有2k k integer的表示法