填空題

設P是謂詞公式，對于P的任何論域，存在P為真的情況，則稱P為（）。

答案：永真式

你可能感興趣的試題

謂詞邏輯中，重言式（tautlogy）的值是（）。

答案：真

人工智能的基本技術包括搜索技術、（）、知識表示和知識庫技術歸納技術、聯(lián)想技術。

答案：推理技術