复习题-第2章命题逻辑的推理理论 答案.pdf

1.C

2.C

3.A

4.A

5.D

6.C

7.A

8.C

9.A

10.C

11.A

12.C

13.D

二、填空题

14.矛盾式永真式

15.真值表，等值演算或等值演算，真值表

¬

16.P∨Q

17.T

18.矛盾重言

19.P∧¬Q∧¬R，P∨¬Q∨R

20.M011

21.M110

22.M101

23.mm

010或2

24.1

25.MM

000或0

26.0

27.(0,3)

28.2-1

n

29.2-k

n

30.2-k

31.用与之等值的命题公式置换.T

32.析取式，出现且出现一次

33.合取式，出现且仅出现一次

三、计算题

¬⟷¬

34.解:(p→q)(p→q)

¬¬¬¬

⇔((p→q)→(p→q))∧((p→q)→(p→q)