作者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