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