名詞解釋

命題微積分

答案：

是指一個(gè)系統(tǒng)，這個(gè)系統(tǒng)負(fù)責(zé)對(duì)分析命題或陳述的推理進(jìn)行分類。

你可能感興趣的試題

三段論推理

答案：

另一種普遍的演繹推理任務(wù)，它是由兩個(gè)陳述和一個(gè)結(jié)論構(gòu)成。

條件推理

答案：

是一種最普遍的演繹推理任務(wù)。