你可能感興趣的試題

答案：就是把簡單命題進(jìn)而分析為其主項(xiàng)、謂項(xiàng)和量項(xiàng)并借以研究命題的形式結(jié)構(gòu)及其推理的規(guī)律與規(guī)則的邏輯演算理論。

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