例9下列推理形式是否有效? ∨q、-q、(p)q)推出r是无效的。 q0 q(D→q)>r 00 V00111111 011 10111 11 1 11010100 01011101例9 下列推理形式是否有效？ p ∨ q、¬ q、(p →q) →r推出r是无效的。 ← 1 1 1 0 1 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 P q p ∨ q ¬ q (p →q) →r r