(完整word版)中南大学离散数学复习资料(习题)

离散数学课程测试题判断（ ） 1. 若wff A是可满足式，那么~A是矛盾式。（ ） 2. P=>P∨Q是合适公式。（ ） 3.x(A(x)→B)→(xA(x) →B)是重言式。（ ） 4. 可满足式