补充资料：普遍有效性

普遍有效性
general TaMty

普遍有效性[罗蹬”，词汤灯;06川。3oa吸.MoeT‘] 逻辑公式(ki颐份1 formula)的一种性质，对一个公式所含的非逻辑符号，即谓词变元和命题变元，作任意一种解释时，这个公式的取值都为真.具有这一性质的公式称为普澳亨琴的(罗ne阎词记)，俘寡的(汕助石司ytrUe)或事亨水(tautologi留).每个普遍有效的公式都代表一条逻辑定律(logiCal hw).“A是普遍有效的”常写作“卜A”.逻辑公式中最重要的形式要数命题公式和谓词公式.对经典逻辑运算(1091司。伴mdon)而言，命题公式的覃穆亨巷件(罗优司诫-dity)可以用构造真假值表(tnjtll table)的方法来验证:一个公式普遍有效当且仅当对命题变元所取的任何真假值，这个公式的取值总是T(“真”).谓词公式的普穆亨攀件(g泊emlVa犯ity)是指这个公式在任何一个模型(逻辑中的)(m团el(in 10户c))中都真.所有普遍有效的谓词公式组成的集合是不可判定的，这就是说，不存在一种算法可以用来判断任意一个谓词公式是否普遍有效.G间日完全性定理(C往无Ico几LP-贻忱n已粥t坛”~)说明，在经典谓词演算中，所有普遍有效的谓词公式都是可推演的，而且只有这些公式是可推演的.，盏认井、了也币匕”J。‘..一沉反苏茸

说明：补充资料仅用于学习参考，请勿用于其它任何用途。