PAGE1.在自然演繹系統(tǒng)中，以下哪個(gè)規(guī)則用于引入合取？

-A.析取引入

-B.合取引入

-C.蘊(yùn)含引入

-D.否定引入

**參考答案**:B

**解析**:合取引入規(guī)則用于從兩個(gè)命題中推導(dǎo)出它們的合取。

2.在形式邏輯中，以下哪個(gè)規(guī)則用于消除蘊(yùn)含？

-A.假言推理

-B.合取消除

-C.析取消除

-D.否定消除

**參考答案**:A

**解析**:假言推理規(guī)則用于從蘊(yùn)含命題中推導(dǎo)出結(jié)論。

3.在自然演繹系統(tǒng)中，以下哪個(gè)規(guī)則用于引入析?。?/p>

-A.析取引入

-B.合取引入

-C.蘊(yùn)含引入

-D.否定引入

**參考答案**:A

**解析**:析取引入規(guī)則用于從一個(gè)命題中推導(dǎo)出它的析取。

4.在形式邏輯中，以下哪個(gè)規(guī)則用于消除合取？

-A.假言推理

-B.合取消除

-C.析取消除

-D.否定消除

**參考答案**:B

**解析**:合取消除規(guī)則用于從合取命題中推導(dǎo)出其中一個(gè)命題。

5.在自然演繹系統(tǒng)中，以下哪個(gè)規(guī)則用于引入否定？

-A.析取引入

-B.合取引入

-C.蘊(yùn)含引入

-D.否定引入

**參考答案**:D

**解析**:否定引入規(guī)則用于從假設(shè)中推導(dǎo)出否定命題。

6.在形式邏輯中，以下哪個(gè)規(guī)則用于消除析?。?/p>

-A.假言推理

-B.合取消除

-C.析取消除

-D.否定消除

**參考答案**:C

**解析**:析取消除規(guī)則用于從析取命題中推導(dǎo)出結(jié)論。

7.在自然演繹系統(tǒng)中，以下哪個(gè)規(guī)則用于引入蘊(yùn)含？

-A.析取引入

-B.合取引入

-C.蘊(yùn)含引入

-D.否定引入

**參考答案**:C

**解析**:蘊(yùn)含引入規(guī)則用于從假設(shè)中推導(dǎo)出蘊(yùn)含命題。

8.在形式邏輯中，以下哪個(gè)規(guī)則用于消除否定？

-A.假言推理

-B.合取消除

-C.析取消除

-D.否定消除

**參考答案**:D

**解析**:否定消除規(guī)則用于從否定命題中推導(dǎo)出矛盾。

9.在自然演繹系統(tǒng)中，以下哪個(gè)規(guī)則用于引入全稱量詞？

-A.全稱引入

-B.存在引入

-C.全稱消除

-D.存在消除

**參考答案**:A

**解析**:全稱引入規(guī)則用于從特定實(shí)例中推導(dǎo)出全稱命題。

10.在形式邏輯中，以下哪個(gè)規(guī)則用于消除存在量詞？

-A.全稱引入

-B.存在引入

-C.全稱消除

-D.存在消除

**參考答案**:D

**解析**:存在消除規(guī)則用于從存在命題中推導(dǎo)出結(jié)論。

11.在自然演繹系統(tǒng)中，以下哪個(gè)規(guī)則用于引入存在量詞？

-A.全稱引入

-B.存在引入

-C.全稱消除

-D.存在消除

**參考答案**:B

**解析**:存在引入規(guī)則用于從特定實(shí)例中推導(dǎo)出存在命題。

12.在形式邏輯中，以下哪個(gè)規(guī)則用于消除全稱量詞？

-A.全稱引入

-B.存在引入

-C.全稱消除

-D.存在消除

**參考答案**:C

**解析**:全稱消除規(guī)則用于從全稱命題中推導(dǎo)出特定實(shí)例。

13.在自然演繹系統(tǒng)中，以下哪個(gè)規(guī)則用于引入等價(jià)？

-A.等價(jià)引入

-B.等價(jià)消除

-C.蘊(yùn)含引入

-D.否定引入

**參考答案**:A

**解析**:等價(jià)引入規(guī)則用于從兩個(gè)命題的相互蘊(yùn)含中推導(dǎo)出等價(jià)命題。

14.在形式邏輯中，以下哪個(gè)規(guī)則用于消除等價(jià)？

-A.等價(jià)引入

-B.等價(jià)消除

-C.蘊(yùn)含引入

-D.否定引入

**參考答案**:B

**解析**:等價(jià)消除規(guī)則用于從等價(jià)命題中推導(dǎo)出兩個(gè)相互蘊(yùn)含的命題。

15.在自然演繹系統(tǒng)中，以下哪個(gè)規(guī)則用于引入矛盾？

-A.矛盾引入

-B.矛盾消除

-C.蘊(yùn)含引入

-D.否定引入

**參考答案**:A

**解析**:矛盾引入規(guī)則用于從兩個(gè)相互矛盾的命題中推導(dǎo)出矛盾。

16.在形式邏輯中，以下哪個(gè)規(guī)則用于消除矛盾？

-A.矛盾引入

-B.矛盾消除

-C.蘊(yùn)含引入

-D.否定引入

**參考答案**:B

**解析**:矛盾消除規(guī)則用于從矛盾中推導(dǎo)出任意命題。

17.在自然演繹系統(tǒng)中，以下哪個(gè)規(guī)則用于引入假設(shè)？

-A.假設(shè)引入

-B.假設(shè)消除

-C.蘊(yùn)含引入

-D.否定引入

**參考答案**:A

**解析**:假設(shè)引入規(guī)則用于在證明中引入一個(gè)假設(shè)。

18.在形式邏輯中，以下哪個(gè)規(guī)則用于消除假設(shè)？

-A.假設(shè)引入

-B.假設(shè)消除

-C.蘊(yùn)含引入

-D.否定引入

**參考答案**:B

**解析**:假設(shè)消除規(guī)則用于在證明中消除一個(gè)假設(shè)。

19.在自然演繹系統(tǒng)中，以下哪個(gè)規(guī)則用于引入結(jié)論？

-A.結(jié)論引入

-B.結(jié)論消除

-C.蘊(yùn)含引入

-D.否定引入

**參考答案**:A

**解析**:結(jié)論引入規(guī)則用于在證明中引入一個(gè)結(jié)論。

20.在形式邏輯中，以下哪個(gè)規(guī)則用于消除結(jié)論？

-A.結(jié)論引入

-B.結(jié)論消除

-C.蘊(yùn)含引入

-D.否定引入

**參考答案**:B

**解析**:結(jié)論消除規(guī)則用于在證明中消除一個(gè)結(jié)論。

21.在自然演繹系統(tǒng)中，以下哪個(gè)規(guī)則用于從`A→B`和`A`推出`B`？

-A.引入規(guī)則

-B.消解規(guī)則

-C.假言推理

-D.否定引入

**參考答案**:C

**解析**:假言推理（ModusPonens）是從`A→B`和`A`推出`B`的規(guī)則。

22.在形式邏輯中，以下哪個(gè)符號(hào)表示“邏輯與”？

-A.∨

-B.∧

-C.→

-D.?

**參考答案**:B

**解析**:`∧`是邏輯與的符號(hào)，表示兩個(gè)命題同時(shí)為真。

23.在自然演繹系統(tǒng)中，以下哪個(gè)規(guī)則用于從`A`和`B`推出`A∧B`？

-A.合取引入

-B.合取消解

-C.析取引入

-D.析取消解

**參考答案**:A

**解析**:合取引入規(guī)則用于從`A`和`B`推出`A∧B`。

24.在形式邏輯中，以下哪個(gè)符號(hào)表示“邏輯或”？

-A.∨

-B.∧

-C.→

-D.?

**參考答案**:A

**解析**:`∨`是邏輯或的符號(hào)，表示兩個(gè)命題中至少有一個(gè)為真。

25.在自然演繹系統(tǒng)中，以下哪個(gè)規(guī)則用于從`A∨B`和`?A`推出`B`？

-A.析取消解

-B.合取引入

-C.假言推理

-D.否定引入

**參考答案**:A

**解析**:析取消解規(guī)則用于從`A∨B`和`?A`推出`B`。

26.在形式邏輯中，以下哪個(gè)符號(hào)表示“邏輯非”？

-A.∨

-B.∧

-C.→

-D.?

**參考答案**:D

**解析**:`?`是邏輯非的符號(hào)，表示命題的否定。

27.在自然演繹系統(tǒng)中，以下哪個(gè)規(guī)則用于從`A→B`和`?B`推出`?A`？

-A.假言推理

-B.否定引入

-C.假言三段論

-D.否定消解

**參考答案**:B

**解析**:否定引入規(guī)則用于從`A→B`和`?B`推出`?A`。

28.在形式邏輯中，以下哪個(gè)符號(hào)表示“邏輯蘊(yùn)含”？

-A.∨

-B.∧

-C.→

-D.?

**參考答案**:C

**解析**:`→`是邏輯蘊(yùn)含的符號(hào)，表示如果前件為真，則后件為真。

29.在自然演繹系統(tǒng)中，以下哪個(gè)規(guī)則用于從`A→B`和`B→C`推出`A→C`？

-A.假言三段論

-B.假言推理

-C.合取引入

-D.析取消解

**參考答案**:A

**解析**:假言三段論規(guī)則用于從`A→B`和`B→C`推出`A→C`。

30.在形式邏輯中，以下哪個(gè)符號(hào)表示“邏輯等價(jià)”？

-A.?

-B.∧

-C.→

-D.?

**參考答案**:A

**解析**:`?`是邏輯等價(jià)的符號(hào)，表示兩個(gè)命題同時(shí)為真或同時(shí)為假。

31.在自然演繹系統(tǒng)中，以下哪個(gè)規(guī)則用于從`A?B`推出`A→B`？

-A.等價(jià)消解

-B.等價(jià)引入

-C.假言推理

-D.否定引入

**參考答案**:A

**解析**:等價(jià)消解規(guī)則用于從`A?B`推出`A→B`。

32.在形式邏輯中，以下哪個(gè)符號(hào)表示“邏輯矛盾”？

-A.⊥

-B.∧

-C.→

-D.?

**參考答案**:A

**解析**:`⊥`是邏輯矛盾的符號(hào)，表示一個(gè)永假的命題。

33.在自然演繹系統(tǒng)中，以下哪個(gè)規(guī)則用于從`A`和`?A`推出`⊥`？

-A.矛盾引入

-B.矛盾消解

-C.假言推理

-D.否定引入

**參考答案**:A

**解析**:矛盾引入規(guī)則用于從`A`和`?A`推出`⊥`。

34.在形式邏輯中，以下哪個(gè)符號(hào)表示“邏輯真”？

-A.?

-B.∧

-C.→

-D.?

**參考答案**:A

**解析**:`?`是邏輯真的符號(hào)，表示一個(gè)永真的命題。

35.在自然演繹系統(tǒng)中，以下哪個(gè)規(guī)則用于從`⊥`推出任意命題`A`？

-A.矛盾消解

-B.矛盾引入

-C.假言推理

-D.否定引入

**參考答案**:A

**解析**:矛盾消解規(guī)則用于從`⊥`推出任意命題`A`。

36.在形式邏輯中，以下哪個(gè)符號(hào)表示“邏輯析取”？

-A.∨

-B.∧

-C.→

-D.?

**參考答案**:A

**解析**:`∨`是邏輯析取的符號(hào)，表示兩個(gè)命題中至少有一個(gè)為真。

37.在自然演繹系統(tǒng)中，以下哪個(gè)規(guī)則用于從`A∧B`推出`A`？

-A.合取消解

-B.合取引入

-C.析取引入

-D.析取消解

**參考答案**:A

**解析**:合取消解規(guī)則用于從`A∧B`推出`A`。

38.在形式邏輯中，以下哪個(gè)符號(hào)表示“邏輯合取”？

-A.∨

-B.∧

-C.→

-D.?

**參考答案**:B

**解析**:`∧`是邏輯合取的符號(hào)，表示兩