离散数学第三章习题详细答案

3.9解：符号化：p：a是奇数. q：a是偶数. r：a能被2整除前提：(p→¬r),(q→r)结论：(q→¬p)证明：方法1（真值法）pqrp→¬rq→r(p→¬r)∧(q→r)q→¬p000111