名詞解釋

謂詞演算

答案：將謂詞邏輯的推理形式和規(guī)律組成一個形式化的公理系統(tǒng)即所謂謂詞演算。

你可能感興趣的試題

名詞解釋

論域

答案：簡言之，即論題的一定范圍，亦即全類，也可表示為“1”。

名詞解釋

公理

答案：多是基于人類長期反復實踐的驗證眾所公認其真實性，無需其他命題證明而不證自明的命題。