.离散数学
这个不难啊
这样 P Q 非( P->Q) 非( P->Q) 且Q
T T F F
T F T F
F T F F
F F F F
所以是矛盾式（永假式）