單項(xiàng)選擇題

邏輯系統(tǒng)的四大定理不包括（）。

A、一致性定理
B、有效性定理
C、可靠性定理
D、不完全性定理

你可能感興趣的試題

“合取”的真值規(guī)則是：只有當(dāng)所有合取支為真時(shí)，它才為真，否則便為假。（）

答案：正確

“等值”的真值規(guī)則是：只有當(dāng)前件和后件都具有不同的真值時(shí)才為真，否則為假。（）

答案：錯(cuò)誤