填空題

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

答案：永真式

你可能感興趣的試題

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

答案：真

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

答案：推理技術(shù)