1) Duration of Status
身份有效期
2) General Citizenhood
普遍有效的公民身份
3) status validity
身份效度
5) holding identity
持有身份
补充资料:普遍有效性
普遍有效性
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。‘..一沉反苏茸
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条