PAGE1.在模態邏輯中，以下哪個符號表示“必然”？

-A.

-B.□

-C.→

-D.?

**參考答案**:B

**解析**:在模態邏輯中，符號“□”表示“必然”，而“

”表示“可能”。

2.在時態邏輯中，以下哪個符號表示“將來”？

-A.F

-B.P

-C.G

-D.H

**參考答案**:A

**解析**:在時態邏輯中，符號“F”表示“將來”，而“P”表示“過去”。

3.以下哪個公式表示“必然P”？

-A.

P

-B.□P

-C.?P

-D.P→Q

**參考答案**:B

**解析**:在模態邏輯中，公式“□P”表示“必然P”。

4.在時態邏輯中，以下哪個公式表示“過去P”？

-A.FP

-B.PP

-C.GP

-D.HP

**參考答案**:B

**解析**:在時態邏輯中，公式“PP”表示“過去P”。

5.以下哪個公式表示“可能P”？

-A.□P

-B.

P

-C.?P

-D.P→Q

**參考答案**:B

**解析**:在模態邏輯中，公式“

P”表示“可能P”。

6.在時態邏輯中，以下哪個公式表示“將來P”？

-A.FP

-B.PP

-C.GP

-D.HP

**參考答案**:A

**解析**:在時態邏輯中，公式“FP”表示“將來P”。

7.以下哪個公式表示“必然P且可能Q”？

-A.□P∧

Q

-B.□P∨

Q

-C.

P∧□Q

-D.

P∨□Q

**參考答案**:A

**解析**:在模態邏輯中，公式“□P∧

Q”表示“必然P且可能Q”。

8.在時態邏輯中，以下哪個公式表示“過去P且將來Q”？

-A.PP∧FQ

-B.PP∨FQ

-C.FP∧PQ

-D.FP∨PQ

**參考答案**:A

**解析**:在時態邏輯中，公式“PP∧FQ”表示“過去P且將來Q”。

9.以下哪個公式表示“必然P或可能Q”？

-A.□P∧

Q

-B.□P∨

Q

-C.

P∧□Q

-D.

P∨□Q

**參考答案**:B

**解析**:在模態邏輯中，公式“□P∨

Q”表示“必然P或可能Q”。

10.在時態邏輯中，以下哪個公式表示“過去P或將來Q”？

-A.PP∧FQ

-B.PP∨FQ

-C.FP∧PQ

-D.FP∨PQ

**參考答案**:B

**解析**:在時態邏輯中，公式“PP∨FQ”表示“過去P或將來Q”。

11.以下哪個公式表示“必然P且必然Q”？

-A.□P∧□Q

-B.□P∨□Q

-C.

P∧

Q

-D.

P∨

Q

**參考答案**:A

**解析**:在模態邏輯中，公式“□P∧□Q”表示“必然P且必然Q”。

12.在時態邏輯中，以下哪個公式表示“過去P且過去Q”？

-A.PP∧PQ

-B.PP∨PQ

-C.FP∧FQ

-D.FP∨FQ

**參考答案**:A

**解析**:在時態邏輯中，公式“PP∧PQ”表示“過去P且過去Q”。

13.以下哪個公式表示“可能P或可能Q”？

-A.□P∧□Q

-B.□P∨□Q

-C.

P∧

Q

-D.

P∨

Q

**參考答案**:D

**解析**:在模態邏輯中，公式“

P∨

Q”表示“可能P或可能Q”。

14.在時態邏輯中，以下哪個公式表示“將來P或將來Q”？

-A.PP∧PQ

-B.PP∨PQ

-C.FP∧FQ

-D.FP∨FQ

**參考答案**:D

**解析**:在時態邏輯中，公式“FP∨FQ”表示“將來P或將來Q”。

15.以下哪個公式表示“必然P且可能P”？

-A.□P∧

P

-B.□P∨

P

-C.

P∧□P

-D.

P∨□P

**參考答案**:A

**解析**:在模態邏輯中，公式“□P∧

P”表示“必然P且可能P”。

16.在時態邏輯中，以下哪個公式表示“過去P且將來P”？

-A.PP∧FP

-B.PP∨FP

-C.FP∧PP

-D.FP∨PP

**參考答案**:A

**解析**:在時態邏輯中，公式“PP∧FP”表示“過去P且將來P”。

17.以下哪個公式表示“必然P或必然Q”？

-A.□P∧□Q

-B.□P∨□Q

-C.

P∧

Q

-D.

P∨

Q

**參考答案**:B

**解析**:在模態邏輯中，公式“□P∨□Q”表示“必然P或必然Q”。

18.在時態邏輯中，以下哪個公式表示“過去P或過去Q”？

-A.PP∧PQ

-B.PP∨PQ

-C.FP∧FQ

-D.FP∨FQ

**參考答案**:B

**解析**:在時態邏輯中，公式“PP∨PQ”表示“過去P或過去Q”。

19.以下哪個公式表示“可能P且可能Q”？

-A.□P∧□Q

-B.□P∨□Q

-C.

P∧

Q

-D.

P∨

Q

**參考答案**:C

**解析**:在模態邏輯中，公式“

P∧

Q”表示“可能P且可能Q”。

20.在時態邏輯中，以下哪個公式表示“將來P且將來Q”？

-A.PP∧PQ

-B.PP∨PQ

-C.FP∧FQ

-D.FP∨FQ

**參考答案**:C

**解析**:在時態邏輯中，公式“FP∧FQ”表示“將來P且將來Q”。

21.在模態邏輯中，以下哪個符號表示“必然性”？

-A.

-B.□

-C.→

-D.∨

**參考答案**:B

**解析**:在模態邏輯中，符號“□”表示“必然性”，而“

”表示“可能性”。

22.在時態邏輯中，以下哪個符號表示“未來某個時刻”？

-A.F

-B.P

-C.G

-D.H

**參考答案**:A

**解析**:在時態邏輯中，符號“F”表示“未來某個時刻”，而“P”表示“過去某個時刻”。

23.以下哪個命題表示“在所有可能的世界中，命題P都為真”？

-A.

P

-B.□P

-C.P→Q

-D.P∨Q

**參考答案**:B

**解析**:符號“□P”表示“在所有可能的世界中，命題P都為真”，即“必然性”。

24.在時態邏輯中，以下哪個命題表示“命題P在將來所有時刻都為真”？

-A.FP

-B.GP

-C.HP

-D.PP

**參考答案**:B

**解析**:符號“GP”表示“命題P在將來所有時刻都為真”，即“全局未來”。

25.以下哪個命題表示“命題P在某個可能的世界中為真”？

-A.□P

-B.

P

-C.P→Q

-D.P∧Q

**參考答案**:B

**解析**:符號“

P”表示“命題P在某個可能的世界中為真”，即“可能性”。

26.在時態邏輯中，以下哪個命題表示“命題P在過去所有時刻都為真”？

-A.FP

-B.GP

-C.HP

-D.PP

**參考答案**:C

**解析**:符號“HP”表示“命題P在過去所有時刻都為真”，即“全局過去”。

27.以下哪個命題表示“命題P在某個未來時刻為真”？

-A.FP

-B.GP

-C.HP

-D.PP

**參考答案**:A

**解析**:符號“FP”表示“命題P在某個未來時刻為真”，即“未來某個時刻”。

28.在模態邏輯中，以下哪個命題表示“命題P在所有可能的世界中為假”？

-A.□?P

-B.

?P

-C.?P→Q

-D.?P∨Q

**參考答案**:A

**解析**:符號“□?P”表示“命題P在所有可能的世界中為假”，即“必然非P”。

29.以下哪個命題表示“命題P在某個可能的世界中為假”？

-A.□?P

-B.

?P

-C.?P→Q

-D.?P∧Q

**參考答案**:B

**解析**:符號“

?P”表示“命題P在某個可能的世界中為假”，即“可能非P”。

30.在時態邏輯中，以下哪個命題表示“命題P在某個過去時刻為真”？

-A.FP

-B.GP

-C.HP

-D.PP

**參考答案**:D

**解析**:符號“PP”表示“命題P在某個過去時刻為真”，即“過去某個時刻”。

31.以下哪個命題表示“命題P在某個未來時刻為假”？

-A.F?P

-B.G?P

-C.H?P

-D.P?P

**參考答案**:A

**解析**:符號“F?P”表示“命題P在某個未來時刻為假”，即“未來某個時刻非P”。

32.在模態邏輯中，以下哪個命題表示“命題P在某個可能的世界中為真，且命題Q在某個可能的世界中為真”？

-A.

P∧

Q

-B.□P∧□Q

-C.P→Q

-D.P∨Q

**參考答案**:A

**解析**:符號“

P∧

Q”表示“命題P在某個可能的世界中為真，且命題Q在某個可能的世界中為真”。

33.以下哪個命題表示“命題P在某個未來時刻為真，且命題Q在某個未來時刻為真”？

-A.FP∧FQ

-B.GP∧GQ

-C.HP∧HQ

-D.PP∧PQ

**參考答案**:A

**解析**:符號“FP∧FQ”表示“命題P在某個未來時刻為真，且命題Q在某個未來時刻為真”。

34.在時態邏輯中，以下哪個命題表示“命題P在將來所有時刻為真，且命題Q在過去所有時刻為真”？

-A.GP∧HQ

-B.FP∧GQ

-C.HP∧FQ

-D.PP∧PQ

**參考答案**:A

**解析**:符號“GP∧HQ”表示“命題P在將來所有時刻為真，且命題Q在過去所有時刻為真”。

35.以下哪個命題表示“命題P在某個可能的世界中為真，且命題Q在所有可能的世界中為真”？

-A.

P∧□Q

-B.□P∧

Q

-C.P→Q

-D.P∨Q

**參考答案**:A

**解析**:符號“

P∧□Q”表示“命題P在某個可能的世界中為真，且命題Q在所有可能的世界中為真”。

36.在模態邏輯中，以下哪個命題表示“命題P在所有可能的世界中為真，且命題Q在某個可能的世界中為真”？

-A.□P∧

Q

-B.

P∧□Q

-C.P→Q

-D.P∨Q

**參考答案**:A

**解析**:符號“□P∧

Q”表示“命題P在所有可能的世界中為真，且命題Q在某個可能的世界中為真”。

37.以下哪個命題表示“命題P在某個未來時刻為真，且命題Q在過去所有時刻為真”？

-A.FP∧HQ

-B.GP∧FQ

-C.HP∧GQ

-D.PP∧PQ

**參考答案**:A

**解析**:符號“FP∧HQ”表示“命題P在某個未來時刻為真，且命題Q在過去所有時刻為真”。

38.在時態邏輯中，以下哪個命題表示“命題P在將來所有時刻為真，且命題Q在某個過去時刻為真”？

-A.GP∧PQ

-B.FP∧GQ

-C.HP∧FQ

-D.PP∧HQ

**參考答案**:A

**解析**:符號“GP∧PQ”表示“命題P在將來所有時刻為真，且命題Q在某個過去時刻為真”。

39.以下哪個命題表示“命題P在某個可能的世界中為假，且命題Q在某個可能的世界中為真”？

-A.

?P∧