[邏輯] 證明必要條件的不成立

看板Math作者 (熱)時間13年前 (2013/01/28 23:25), 編輯推噓0(002)
留言2則, 2人參與, 最新討論串1/1
最近在審稿時遇到一個複雜的引理 我覺得是不正確的 所以想知道我的說法是否正確 引理裡 A, B 均為條件 C, D 均為事件 引理說 A, B 為充分且必要的條件 去確保 C 或 D (的成立) 我想證明這個引理的B的必要性是錯的 所以舉了一個例子 在例子裡 A 滿足, B 不滿足 這時 C 不成立, 但是 D 成立 因此我得證這引理的B的必要性是錯的 我想請問我這樣的證明方式是正確的嗎 謝謝 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.25.107

01/29 01:49, , 1F
如果引理是(A且B)若且唯若(C或D) 那你的例子就是反證
01/29 01:49, 1F

01/29 17:29, , 2F
謝謝 我知道了
01/29 17:29, 2F
文章代碼(AID): #1H1fXHqQ (Math)