离散数学 逻辑命题证明 在线等.答:用逆否命题证明: ∀a, b, c ∈ Z, c > 0, 如果a,c的最大公约数不能整除b, 那么就不会有整数x满足a·x ≡ b (mod c)逆否命题是 ∀a, b, c ∈ Z, c > 0,如果有整数x满足a·x ≡ b (mod c),那么a,c的最大公约数能整除b 由a·x ≡ b (mod c)可得 ax...
求帮助,离散数学证明题答:第一个是命题"p--q "and "p"为真,刚q为真.这是假言推理,即永真式[p^(p--q)]--q.第二个命题用逆否,第一句等价于,如果你不能行驶到地球边缘,刚地球不是平的,后面又说了,"你不能行驶到地球边缘",然后按照假言推理,得出地球不是平的....