推 Vulpix:深得我心 02/01 18:56
如果只是討論 "=>" 這個符號的話 就借我騙一下文章數吧
=> 一般是指 imply
如果是 p => q 就是 若p則q
如果是 p <= q 就是 若q則p
中文上的充分條件還是必要條件我從來都不知道哪個是哪個
反正當你說了p=>q 就是保證當p對的時候q也要對
至於p<=q就是反過來而已
然後p<=>q當然就是p=>q而且p<=q
所以<=>是比較強的性質囉~~
換一句話說說 "<=>" 這個符號成立的時候 代表 "=>"和"<="都成立
---------------
X+1=0,X belong to Ｒ => X=-1 這在邏輯上是沒問題的
畢竟連"<=>"都成立了
如果說 X+1=1 => X=0 這樣不對就要看情況了
舉例來說
題目是 X+2=2 X=?
你可以寫 X+2=2 => X+2-2=2-2 => X=0 這是沒有問題的
如果老師說你要寫"<=>" 只能說他太三八了 這時候你只需要回他
在我的推論過程中只需要用到imply不需要用到iff
至於什麼時候要用到"<=>"呢?
我只有遇過偷懶的時候需要時候需要用到他...
比方說題目是 證明 X+2=2 <=> X=0
X+2=2 <=> X+2-2=2-2 <=> X=0
這樣就可以寫Q.E.D.了
如果只用=>就要證兩邊
X+2=2 <= X+2-2=2-2 <= X=0
X+2=2 => X+2-2=2-2 => X=0
才能寫Q.E.D.
謝謝收看
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.171.161.148