2020-11-14 23:10:45 来源:互联网 Tag:离散数学归谬法运用. 归谬法(contradiction). 如果一个证明类似p->q的形式. 归谬法即证明 p^非q = F. 反证法(contraposition).
確定! 回上一頁