公務(wù)員考試-邏輯推理模擬題-謂詞邏輯的原子公式

PAGE1.在謂詞邏輯中，以下哪項(xiàng)是原子公式？

-A.?xP(x)

-B.P(x)∧Q(y)

-C.P(x)

-D.?xP(x)

**參考答案**:C

**解析**:原子公式是由謂詞符號(hào)和項(xiàng)組成的簡(jiǎn)單公式，不包含邏輯連接詞或量詞。`P(x)`是原子公式，而其他選項(xiàng)包含量詞或邏輯連接詞。

2.以下哪項(xiàng)不是謂詞邏輯的原子公式？

-A.R(a,b)

-B.S(x)

-C.T(x)∨U(y)

-D.Q(c)

**參考答案**:C

**解析**:原子公式不包含邏輯連接詞。`T(x)∨U(y)`包含邏輯連接詞“∨”，因此不是原子公式。

3.在謂詞邏輯中，以下哪項(xiàng)是原子公式？

-A.?x(P(x)→Q(x))

-B.P(a)

-C.?xP(x)∧Q(y)

-D.P(x)→Q(y)

**參考答案**:B

**解析**:`P(a)`是由謂詞符號(hào)`P`和常量`a`組成的原子公式，不包含邏輯連接詞或量詞。

4.以下哪項(xiàng)是謂詞邏輯的原子公式？

-A.?xP(x)

-B.P(x)∧Q(y)

-C.R(a,b)

-D.?xP(x)

**參考答案**:C

**解析**:`R(a,b)`是由謂詞符號(hào)`R`和常量`a`、`b`組成的原子公式，不包含邏輯連接詞或量詞。

5.在謂詞邏輯中，以下哪項(xiàng)不是原子公式？

-A.S(x)

-B.T(a,b)

-C.U(x)∧V(y)

-D.W(c)

**參考答案**:C

**解析**:原子公式不包含邏輯連接詞。`U(x)∧V(y)`包含邏輯連接詞“∧”，因此不是原子公式。

6.以下哪項(xiàng)是謂詞邏輯的原子公式？

-A.?x(P(x)∧Q(x))

-B.P(a)

-C.?xP(x)∨Q(y)

-D.P(x)→Q(y)

**參考答案**:B

**解析**:`P(a)`是由謂詞符號(hào)`P`和常量`a`組成的原子公式，不包含邏輯連接詞或量詞。

7.在謂詞邏輯中，以下哪項(xiàng)是原子公式？

-A.?xP(x)

-B.P(x)∧Q(y)

-C.R(a,b)

-D.?xP(x)

**參考答案**:C

**解析**:`R(a,b)`是由謂詞符號(hào)`R`和常量`a`、`b`組成的原子公式，不包含邏輯連接詞或量詞。

8.以下哪項(xiàng)不是謂詞邏輯的原子公式？

-A.S(x)

-B.T(a,b)

-C.U(x)∨V(y)

-D.W(c)

**參考答案**:C

**解析**:原子公式不包含邏輯連接詞。`U(x)∨V(y)`包含邏輯連接詞“∨”，因此不是原子公式。

9.在謂詞邏輯中，以下哪項(xiàng)是原子公式？

-A.?x(P(x)→Q(x))

-B.P(a)

-C.?xP(x)∧Q(y)

-D.P(x)→Q(y)

**參考答案**:B

**解析**:`P(a)`是由謂詞符號(hào)`P`和常量`a`組成的原子公式，不包含邏輯連接詞或量詞。

10.以下哪項(xiàng)是謂詞邏輯的原子公式？

-A.?xP(x)

-B.P(x)∧Q(y)

-C.R(a,b)

-D.?xP(x)

**參考答案**:C

**解析**:`R(a,b)`是由謂詞符號(hào)`R`和常量`a`、`b`組成的原子公式，不包含邏輯連接詞或量詞。

11.在謂詞邏輯中，以下哪項(xiàng)不是原子公式？

-A.S(x)

-B.T(a,b)

-C.U(x)∧V(y)

-D.W(c)

**參考答案**:C

**解析**:原子公式不包含邏輯連接詞。`U(x)∧V(y)`包含邏輯連接詞“∧”，因此不是原子公式。

12.以下哪項(xiàng)是謂詞邏輯的原子公式？

-A.?x(P(x)∧Q(x))

-B.P(a)

-C.?xP(x)∨Q(y)

-D.P(x)→Q(y)

**參考答案**:B

**解析**:`P(a)`是由謂詞符號(hào)`P`和常量`a`組成的原子公式，不包含邏輯連接詞或量詞。

13.在謂詞邏輯中，以下哪項(xiàng)是原子公式？

-A.?xP(x)

-B.P(x)∧Q(y)

-C.R(a,b)

-D.?xP(x)

**參考答案**:C

**解析**:`R(a,b)`是由謂詞符號(hào)`R`和常量`a`、`b`組成的原子公式，不包含邏輯連接詞或量詞。

14.以下哪項(xiàng)不是謂詞邏輯的原子公式？

-A.S(x)

-B.T(a,b)

-C.U(x)∨V(y)

-D.W(c)

**參考答案**:C

**解析**:原子公式不包含邏輯連接詞。`U(x)∨V(y)`包含邏輯連接詞“∨”，因此不是原子公式。

15.在謂詞邏輯中，以下哪項(xiàng)是原子公式？

-A.?x(P(x)→Q(x))

-B.P(a)

-C.?xP(x)∧Q(y)

-D.P(x)→Q(y)

**參考答案**:B

**解析**:`P(a)`是由謂詞符號(hào)`P`和常量`a`組成的原子公式，不包含邏輯連接詞或量詞。

16.以下哪項(xiàng)是謂詞邏輯的原子公式？

-A.?xP(x)

-B.P(x)∧Q(y)

-C.R(a,b)

-D.?xP(x)

**參考答案**:C

**解析**:`R(a,b)`是由謂詞符號(hào)`R`和常量`a`、`b`組成的原子公式，不包含邏輯連接詞或量詞。

17.在謂詞邏輯中，以下哪項(xiàng)不是原子公式？

-A.S(x)

-B.T(a,b)

-C.U(x)∧V(y)

-D.W(c)

**參考答案**:C

**解析**:原子公式不包含邏輯連接詞。`U(x)∧V(y)`包含邏輯連接詞“∧”，因此不是原子公式。

18.以下哪項(xiàng)是謂詞邏輯的原子公式？

-A.?x(P(x)∧Q(x))

-B.P(a)

-C.?xP(x)∨Q(y)

-D.P(x)→Q(y)

**參考答案**:B

**解析**:`P(a)`是由謂詞符號(hào)`P`和常量`a`組成的原子公式，不包含邏輯連接詞或量詞。

19.在謂詞邏輯中，以下哪項(xiàng)是原子公式？

-A.?xP(x)

-B.P(x)∧Q(y)

-C.R(a,b)

-D.?xP(x)

**參考答案**:C

**解析**:`R(a,b)`是由謂詞符號(hào)`R`和常量`a`、`b`組成的原子公式，不包含邏輯連接詞或量詞。

20.以下哪項(xiàng)不是謂詞邏輯的原子公式？

-A.S(x)

-B.T(a,b)

-C.U(x)∨V(y)

-D.W(c)

**參考答案**:C

**解析**:原子公式不包含邏輯連接詞。`U(x)∨V(y)`包含邏輯連接詞“∨”，因此不是原子公式。

21.在謂詞邏輯中，以下哪個(gè)表達(dá)式是原子公式？

-A.?xP(x)

-B.P(x)∧Q(y)

-C.P(x)

-D.?xP(x)

**參考答案**:C

**解析**:原子公式是謂詞邏輯中最基本的公式，不包含任何邏輯連接詞或量詞。`P(x)`是一個(gè)原子公式，因?yàn)樗话粋€(gè)謂詞和變量。

22.以下哪個(gè)表達(dá)式不是原子公式？

-A.R(a,b)

-B.S(x)

-C.T(x)∨U(y)

-D.V(c)

**參考答案**:C

**解析**:`T(x)∨U(y)`包含邏輯連接詞“∨”，因此它不是原子公式。

23.在謂詞邏輯中，以下哪個(gè)表達(dá)式是原子公式？

-A.?x(P(x)→Q(x))

-B.P(a)

-C.?xP(x)

-D.P(x)∧Q(y)

**參考答案**:B

**解析**:`P(a)`是一個(gè)原子公式，因?yàn)樗话粋€(gè)謂詞和常量。

24.以下哪個(gè)表達(dá)式是原子公式？

-A.?x(P(x)∧Q(x))

-B.P(x,y)

-C.?xP(x)

-D.P(x)→Q(y)

**參考答案**:B

**解析**:`P(x,y)`是一個(gè)原子公式，因?yàn)樗话粋€(gè)謂詞和變量。

25.在謂詞邏輯中，以下哪個(gè)表達(dá)式是原子公式？

-A.P(x)∨Q(y)

-B.R(a,b,c)

-C.?xP(x)

-D.?x(P(x)∧Q(x))

**參考答案**:B

**解析**:`R(a,b,c)`是一個(gè)原子公式，因?yàn)樗话粋€(gè)謂詞和常量。

26.以下哪個(gè)表達(dá)式不是原子公式？

-A.S(x,y)

-B.T(a)

-C.U(x)∧V(y)

-D.W(b,c)

**參考答案**:C

**解析**:`U(x)∧V(y)`包含邏輯連接詞“∧”，因此它不是原子公式。

27.在謂詞邏輯中，以下哪個(gè)表達(dá)式是原子公式？

-A.?x(P(x)∨Q(x))

-B.P(a,b)

-C.?xP(x)

-D.P(x)→Q(y)

**參考答案**:B

**解析**:`P(a,b)`是一個(gè)原子公式，因?yàn)樗话粋€(gè)謂詞和常量。

28.以下哪個(gè)表達(dá)式是原子公式？

-A.?x(P(x)∧Q(x))

-B.R(x,y)

-C.?xP(x)

-D.P(x)∨Q(y)

**參考答案**:B

**解析**:`R(x,y)`是一個(gè)原子公式，因?yàn)樗话粋€(gè)謂詞和變量。

29.在謂詞邏輯中，以下哪個(gè)表達(dá)式是原子公式？

-A.P(x)∧Q(y)

-B.S(a,b,c)

-C.?xP(x)

-D.?x(P(x)∨Q(x))

**參考答案**:B

**解析**:`S(a,b,c)`是一個(gè)原子公式，因?yàn)樗话粋€(gè)謂詞和常量。

30.以下哪個(gè)表達(dá)式不是原子公式？

-A.T(x,y)

-B.U(a)

-C.V(x)∨W(y)

-D.X(b,c)

**參考答案**:C

**解析**:`V(x)∨W(y)`包含邏輯連接詞“∨”，因此它不是原子公式。

31.在謂詞邏輯中，以下哪個(gè)表達(dá)式是原子公式？

-A.?x(P(x)→Q(x))

-B.P(a,b)

-C.?xP(x)

-D.P(x)∧Q(y)

**參考答案**:B

**解析**:`P(a,b)`是一個(gè)原子公式，因?yàn)樗话粋€(gè)謂詞和常量。

32.以下哪個(gè)表達(dá)式是原子公式？

-A.?x(P(x)∧Q(x))

-B.R(x,y)

-C.?xP(x)

-D.P(x)→Q(y)

**參考答案**:B

**解析**:`R(x,y)`是一個(gè)原子公式，因?yàn)樗话粋€(gè)謂詞和變量。

33.在謂詞邏輯中，以下哪個(gè)表達(dá)式是原子公式？

-A.P(x)∨Q(y)

-B.S(a,b,c)

-C.?xP(x)

-D.?x(P(x)∧Q(x))

**參考答案**:B

**解析**:`S(a,b,c)`是一個(gè)原子公式，因?yàn)樗话粋€(gè)謂詞和常量。

34.以下哪個(gè)表達(dá)式不是原子公式？

-A.T(x,y)

-B.U(a)

-C.V(x)∧W(y)

-D.X(b,c)

**參考答案**:C

**解析**:`V(x)∧W(y)`包含邏輯連接詞“∧”，因此它不是原子公式。

35.在謂詞邏輯中，以下哪個(gè)表達(dá)式是原子公式？

-A.?x(P(x)→Q(x))

-B.P(a,b)

-C.?xP(x)

-D.P(x)∨Q(y)

**參考答案**:B

**解析**:`P(a,b)`是一個(gè)原子公式，因?yàn)樗话粋€(gè)謂詞和常量。

36.以下哪個(gè)表達(dá)式是原子公式？

-A.?x(P(x)∧Q(x))

-B.R(x,y)

-C.?xP(x)

-D.P(x)→Q(y)

**參考答案**:B

**解析**:`R(x,y)`是