词语繁体：普遍有效公式
词语读音：pǔ biàn yǒu xiào gōng shì
首字拼音：Pu
词语拼音：pu bian you xiao gong shi
词语简拼：PBYXGS
词语字数：六字词语
普遍有效公式(universally valid formula)亦称永真公式或恒真公式，是一种基本公式。普遍有效是数理逻辑用语，狭谓词演算的一个公式是普遍有效的，当且仅当：对任何个体域，用任一个体常项代人其中的个体变项，用任一命题常项代人其中的命题变项，并且用任一特定的谓词常项代人其中的谓词变项，其结果总是真的。一公式普遍有效时，称为普遍有效公式。狭谓词逻辑中的普遍有效公式往往显示了一个逻辑规律。例如：(∀x)(F(x)∨¬F(x))表示排中律。(∀x)A(x)→(∃x)A(x)表示全称蕴涵存在。命题逻辑中的普遍有效公式就是重言式。
【普的意思】：普 pǔ（ㄆㄨˇ） （一）、全，广，遍：普遍。普通。普查。普照。普天同庆。 详情>
【遍的意思】：遍 biàn（ㄅ一ㄢˋ） （一）、全面，到处：遍历（周游）。遍布。遍及。遍野。普遍。（二）、量词，次 详情>
【有的意思】：有 yǒu（一ㄡˇ） （一）、存在：有关。有方（得法）。有案可稽。有备无患。有目共睹。（二）、表示所 详情>
【效的意思】：效 xiào（ㄒ一ㄠˋ） （一）、摹仿：效法。仿效。上行下效。效尤（明知别人的行为是错的而照样去做） 详情>
【公的意思】：公 gōng（ㄍㄨㄥ） （一）、正直无私，为大家利益：公正。公心。大公无私。（二）、共同的，大家承认 详情>
【式的意思】：式 shì（ㄕˋ） （一）、物体外形的样子：式样。样式。（二）、特定的规格：格式。程式。（三）、典礼 详情>
友情链接：姓名测试