版權說明：本文檔由用戶提供并上傳，收益歸屬內容提供方，若內容存在侵權，請進行舉報或認領
文檔簡介
PAGE1.在直覺邏輯中，以下哪項描述了完備性的含義？
-A.所有有效的公式都可以在系統中被證明
-B.所有被證明的公式都是有效的
-C.系統能夠推導出所有可能的結論
-D.系統中不存在矛盾的公式
**參考答案**:A
**解析**:完備性指的是所有在語義上有效的公式都可以在系統中通過證明得到。
2.在直覺邏輯中，以下哪項描述了可靠性的含義？
-A.所有有效的公式都可以在系統中被證明
-B.所有被證明的公式都是有效的
-C.系統能夠推導出所有可能的結論
-D.系統中不存在矛盾的公式
**參考答案**:B
**解析**:可靠性指的是所有在系統中被證明的公式在語義上都是有效的。
3.直覺邏輯的完備性與經典邏輯的完備性相比，以下哪項是正確的？
-A.直覺邏輯的完備性更強
-B.經典邏輯的完備性更強
-C.兩者完備性相同
-D.兩者完備性無法比較
**參考答案**:B
**解析**:經典邏輯的完備性更強，因為它承認排中律，而直覺邏輯不承認排中律。
4.在直覺邏輯中，以下哪項公式是有效的？
-A.??P→P
-B.P∨?P
-C.P→??P
-D.?P→P
**參考答案**:C
**解析**:在直覺邏輯中，P→??P是有效的，因為它反映了直覺邏輯中的雙重否定引入規則。
5.在直覺邏輯中，以下哪項公式不是有效的？
-A.P→(Q→P)
-B.(P→Q)→(?Q→?P)
-C.P→(?P→Q)
-D.P∨?P
**參考答案**:D
**解析**:P∨?P（排中律）在直覺邏輯中不是有效的，因為直覺邏輯不承認排中律。
6.在直覺邏輯中，以下哪項推理規則是可靠的？
-A.從??P推出P
-B.從P∨?P推出真
-C.從P→Q和P推出Q
-D.從?P推出P→Q
**參考答案**:C
**解析**:在直覺邏輯中，從P→Q和P推出Q（即肯定前件）是可靠的推理規則。
7.在直覺邏輯中，以下哪項推理規則不是可靠的？
-A.從P→Q和?Q推出?P
-B.從P→Q和Q推出P
-C.從P→Q和P推出Q
-D.從P→Q和?P推出?Q
**參考答案**:B
**解析**:從P→Q和Q推出P（即肯定后件）在直覺邏輯中不是可靠的推理規則。
8.在直覺邏輯中，以下哪項公式是完備的？
-A.P→P
-B.P∨?P
-C.P→??P
-D.?P→P
**參考答案**:A
**解析**:P→P在直覺邏輯中是完備的，因為它是一個重言式，總是成立。
9.在直覺邏輯中，以下哪項公式不是完備的？
-A.P→P
-B.P∨?P
-C.P→??P
-D.?P→P
**參考答案**:B
**解析**:P∨?P在直覺邏輯中不是完備的，因為直覺邏輯不承認排中律。
10.在直覺邏輯中，以下哪項推理規則是完備的？
-A.從P→Q和P推出Q
-B.從P→Q和?Q推出?P
-C.從P→Q和Q推出P
-D.從P→Q和?P推出?Q
**參考答案**:A
**解析**:從P→Q和P推出Q（即肯定前件）在直覺邏輯中是完備的推理規則。
11.在直覺邏輯中，以下哪項推理規則不是完備的？
-A.從P→Q和P推出Q
-B.從P→Q和?Q推出?P
-C.從P→Q和Q推出P
-D.從P→Q和?P推出?Q
**參考答案**:C
**解析**:從P→Q和Q推出P（即肯定后件）在直覺邏輯中不是完備的推理規則。
12.在直覺邏輯中，以下哪項公式是可靠的？
-A.P→P
-B.P∨?P
-C.P→??P
-D.?P→P
**參考答案**:A
**解析**:P→P在直覺邏輯中是可靠的，因為它是一個重言式，總是成立。
13.在直覺邏輯中，以下哪項公式不是可靠的？
-A.P→P
-B.P∨?P
-C.P→??P
-D.?P→P
**參考答案**:B
**解析**:P∨?P在直覺邏輯中不是可靠的，因為直覺邏輯不承認排中律。
14.在直覺邏輯中，以下哪項推理規則是可靠的？
-A.從P→Q和P推出Q
-B.從P→Q和?Q推出?P
-C.從P→Q和Q推出P
-D.從P→Q和?P推出?Q
**參考答案**:A
**解析**:從P→Q和P推出Q（即肯定前件）在直覺邏輯中是可靠的推理規則。
15.在直覺邏輯中，以下哪項推理規則不是可靠的？
-A.從P→Q和P推出Q
-B.從P→Q和?Q推出?P
-C.從P→Q和Q推出P
-D.從P→Q和?P推出?Q
**參考答案**:C
**解析**:從P→Q和Q推出P（即肯定后件）在直覺邏輯中不是可靠的推理規則。
16.在直覺邏輯中，以下哪項公式是完備的？
-A.P→P
-B.P∨?P
-C.P→??P
-D.?P→P
**參考答案**:A
**解析**:P→P在直覺邏輯中是完備的，因為它是一個重言式，總是成立。
17.在直覺邏輯中，以下哪項公式不是完備的？
-A.P→P
-B.P∨?P
-C.P→??P
-D.?P→P
**參考答案**:B
**解析**:P∨?P在直覺邏輯中不是完備的，因為直覺邏輯不承認排中律。
18.在直覺邏輯中，以下哪項推理規則是完備的？
-A.從P→Q和P推出Q
-B.從P→Q和?Q推出?P
-C.從P→Q和Q推出P
-D.從P→Q和?P推出?Q
**參考答案**:A
**解析**:從P→Q和P推出Q（即肯定前件）在直覺邏輯中是完備的推理規則。
19.在直覺邏輯中，以下哪項推理規則不是完備的？
-A.從P→Q和P推出Q
-B.從P→Q和?Q推出?P
-C.從P→Q和Q推出P
-D.從P→Q和?P推出?Q
**參考答案**:C
**解析**:從P→Q和Q推出P（即肯定后件）在直覺邏輯中不是完備的推理規則。
20.在直覺邏輯中，以下哪項公式是可靠的？
-A.P→P
-B.P∨?P
-C.P→??P
-D.?P→P
**參考答案**:A
**解析**:P→P在直覺邏輯中是可靠的，因為它是一個重言式，總是成立。
21.在直覺邏輯中，以下哪個陳述最能體現其完備性？
-A.所有可證明的命題都是有效的
-B.所有有效的命題都是可證明的
-C.所有命題都是可證明的
-D.所有命題都是有效的
**參考答案**:B
**解析**:直覺邏輯的完備性意味著所有有效的命題都可以通過直覺邏輯的推理規則被證明。
22.在直覺邏輯中，以下哪個陳述最能體現其可靠性？
-A.所有可證明的命題都是有效的
-B.所有有效的命題都是可證明的
-C.所有命題都是可證明的
-D.所有命題都是有效的
**參考答案**:A
**解析**:直覺邏輯的可靠性意味著所有通過直覺邏輯推理規則證明的命題都是有效的。
23.在直覺邏輯中，以下哪個命題是有效的？
-A.??P→P
-B.P∨?P
-C.P→(Q→P)
-D.(P→Q)→(?Q→?P)
**參考答案**:C
**解析**:在直覺邏輯中，命題`P→(Q→P)`是有效的，因為它符合直覺邏輯的推理規則。
24.在直覺邏輯中，以下哪個命題不是有效的？
-A.P→P
-B.P→(Q→P)
-C.P∨?P
-D.(P→Q)→(?Q→?P)
**參考答案**:C
**解析**:在直覺邏輯中，命題`P∨?P`不是有效的，因為它依賴于排中律，而直覺邏輯不接受排中律。
25.在直覺邏輯中，以下哪個推理規則是有效的？
-A.從??P推出P
-B.從P∨Q和?P推出Q
-C.從P→Q和?Q推出?P
-D.從P→Q和Q→R推出P→R
**參考答案**:D
**解析**:在直覺邏輯中，推理規則`從P→Q和Q→R推出P→R`是有效的，因為它符合直覺邏輯的推理規則。
26.在直覺邏輯中，以下哪個推理規則不是有效的？
-A.從P→Q和Q→R推出P→R
-B.從P∨Q和?P推出Q
-C.從??P推出P
-D.從P→Q和?Q推出?P
**參考答案**:C
**解析**:在直覺邏輯中，推理規則`從??P推出P`不是有效的，因為它依賴于雙重否定律，而直覺邏輯不接受雙重否定律。
27.在直覺邏輯中，以下哪個命題是有效的？
-A.(P→Q)→(?Q→?P)
-B.P→(Q→P)
-C.P∨?P
-D.??P→P
**參考答案**:B
**解析**:在直覺邏輯中，命題`P→(Q→P)`是有效的，因為它符合直覺邏輯的推理規則。
28.在直覺邏輯中，以下哪個命題不是有效的？
-A.P→P
-B.P→(Q→P)
-C.P∨?P
-D.(P→Q)→(?Q→?P)
**參考答案**:C
**解析**:在直覺邏輯中，命題`P∨?P`不是有效的，因為它依賴于排中律，而直覺邏輯不接受排中律。
29.在直覺邏輯中，以下哪個推理規則是有效的？
-A.從??P推出P
-B.從P∨Q和?P推出Q
-C.從P→Q和?Q推出?P
-D.從P→Q和Q→R推出P→R
**參考答案**:D
**解析**:在直覺邏輯中，推理規則`從P→Q和Q→R推出P→R`是有效的，因為它符合直覺邏輯的推理規則。
30.在直覺邏輯中，以下哪個推理規則不是有效的？
-A.從P→Q和Q→R推出P→R
-B.從P∨Q和?P推出Q
-C.從??P推出P
-D.從P→Q和?Q推出?P
**參考答案**:C
**解析**:在直覺邏輯中，推理規則`從??P推出P`不是有效的，因為它依賴于雙重否定律，而直覺邏輯不接受雙重否定律。
31.在直覺邏輯中，以下哪個命題是有效的？
-A.(P→Q)→(?Q→?P)
-B.P→(Q→P)
-C.P∨?P
-D.??P→P
**參考答案**:B
**解析**:在直覺邏輯中，命題`P→(Q→P)`是有效的，因為它符合直覺邏輯的推理規則。
32.在直覺邏輯中，以下哪個命題不是有效的？
-A.P→P
-B.P→(Q→P)
-C.P∨?P
-D.(P→Q)→(?Q→?P)
**參考答案**:C
**解析**:在直覺邏輯中，命題`P∨?P`不是有效的，因為它依賴于排中律，而直覺邏輯不接受排中律。
33.在直覺邏輯中，以下哪個推理規則是有效的？
-A.從??P推出P
-B.從P∨Q和?P推出Q
-C.從P→Q和?Q推出?P
-D.從P→Q和Q→R推出P→R
**參考答案**:D
**解析**:在直覺邏輯中，推理規則`從P→Q和Q→R推出P→R`是有效的，因為它符合直覺邏輯的推理規則。
34.在直覺邏輯中，以下哪個推理規則不是有效的？
-A.從P→Q和Q→R推出P→R
-B.從P∨Q和?P推出Q
-C.從??P推出P
-D.從P→Q和?Q推出?P
**參考答案**:C
**解析**:在直覺邏輯中，推理規則`從??P推出P`不是有效的，因為它依賴于雙重否定律，而直覺邏輯不接受雙重否定律。
35.在直覺邏輯中，以下哪個命題是有效的？
-A.(P→Q)→(?Q→?P)
-B.P→(Q→P)
-C.P∨?P
-D.??P→P
**參考答案**:B
**解析**:在直覺邏輯中，命題`P→(Q→P)`是有效的，因為它符合直覺邏輯的推理規則。
36.在直覺邏輯中，以下哪個命題不是有效的？
-A.P→P
-B.P→(Q→P)
-C.P∨?P
-D.(P→Q)→(?Q→?P)
**參考答案**:C
**解析**:在直覺邏輯中，命題`P∨?P`不是有效的，因為它依賴于排中律，而直覺邏輯不接受排中律。
37.在直覺邏輯中，以下哪個推理規則是有效的？
-A.從??P推出P
-B.從P∨Q和?P推出Q
溫馨提示
- 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙，網頁內容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
- 4. 未經權益所有人同意不得將文件中的內容挪作商業或盈利用途。
- 5. 人人文庫網僅提供信息存儲空間，僅對用戶上傳內容的表現方式做保護處理，對用戶上傳分享的文檔內容本身不做任何修改或編輯，并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容，請與我們聯系，我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
評論
0/150
提交評論