离散数学 逻辑命题证明 在线等.答:用逆否命题证明: ∀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.第二个命题用逆否,第一句等价于,如果你不能行驶到地球边缘,刚地球不是平的,后面又说了,"你不能行驶到地球边缘",然后按照假言推理,得出地球不是平的....
离散数学证明题答:1)证明对称性 因为对任意正整数x,y,显然有xy=yx <<x,y>,<x,y>> ⇔ xy=yx,即满足自反性 2)证明对称性 由于 <,<x,y>> ⇔ uy=vx ⇔ xv=yu ⇔ <<x,y>,> 即<,<x,y>> ⇔ <<x,y>,> 所以满足对称性 3)证明传递性 假设任意两组序偶...