高阶逻辑

高阶逻辑，高阶逻辑,gaojie luoji，高阶逻辑,gaojie,luoji，[拼音]：gaojie luoji[外文]：higher order logic通常的逻辑演算是一阶谓词演算，也叫一阶逻辑。在其中除命题联结词外，所讨论的函词及谓词都只以个体为变目，而量词及摹状词只以个体变元为指导变元(约束变元)。一阶逻辑是很重要的。但它也...