设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（）。

谓词逻辑中，重言式（tautlogy）的值是（）。

填空题谓词逻辑中，重言式（tautlogy）的值是（）。

人工智能的基本技术包括搜索技术、（）、知识表示和知识库技术归纳技术、联想技术。

填空题人工智能的基本技术包括搜索技术、（）、知识表示和知识库技术归纳技术、联想技术。

任意列举人工智能的四个应用性领域难题求解、（）、智能控制、机器翻译。

填空题任意列举人工智能的四个应用性领域难题求解、（）、智能控制、机器翻译。