题目
更新时间:2024-11-24 11:09:36
求解答,词语普遍有效公式是什么意思?再说说普遍有效公式有什么含义?
答案

普遍有效公式的词语属性

拼音pǔ biàn yǒu xiào gōng shì
拼音字母pu bian you xiao gong shi
拼音首字母pbyxgs

普遍有效公式的百科含义

普遍有效公式(universally valid formula)亦称永真公式或恒真公式,是一种基本公式。普遍有效是数理逻辑用语,狭谓词演算的一个公式是普遍有效的,当且仅当:对任何个体域,用任一个体常项代人其中的个体变项,用任一命题常项代人其中的命题变项,并且用任一特定的谓词常项代人其中的谓词变项,其结果总是真的。一公式普遍有效时,称为普遍有效公式。狭谓词逻辑中的普遍有效公式往往显示了一个逻辑规律。例如:(∀x)(F(x)∨¬F(x))表示排中律。(∀x)A(x)→(∃x)A(x)表示全称蕴涵存在。命题逻辑中的普遍有效公式就是重言式。

广告