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

设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（）。 交直流伺服电机一般用于（）、（）控制系统。 下列不属于均衡分析方法的是（）。 ["局部均衡分析","一般均衡分析","边际分析方法","动态均衡分析"] 验证现有的经济理论与实际是否相符的产业经济学研究方法是（）。 ["案例研究方法","统计计量研究方法","均衡分析方法","博弈论分析方法"] 步进电机一般用于（）控制系统。 谓词逻辑中，重言式（tautlogy）的值是（）。