A. ①②⑤⑦ B. ③④⑧⑨ C. ①⑤⑦⑨ D. ③⑤⑥⑨
A. (p∧q)→(p∨q) B. (p→(q→r))→((p→q)→(p→r)) C. ┐(p→q)∧q D. (┐p∨q)∨(q→p)
A. 2 B. 3 C. 5 D. 8
A. 0 B. 1 C. 2 D. 3
A. F(x,y)中的x B. F(x,y)中的y C. G(x,y)中的x D. G(x,y)中的y