普遍有效公式（关于普遍有效公式的简单科普）

关于普遍有效公式，有许多人不了解，那么下面来看看小恭对普遍有效公式的相关介绍。

普遍有效公式

1、普遍有效公式(universallyvalidformula)亦称永真公式或恒真公式，是一种基本公式。

2、普遍有效是数理逻辑用语，狭谓词演算的一个公式是普遍有效的，当且仅当：对任何个体域，用任一个体常项代人其中的个体变项，用任一命题常项代人其中的命题变项，并且用任一特定的谓词常项代人其中的谓词变项，其结果总是真的。

3、一公式普遍有效时，称为普遍有效公式。

4、狭谓词逻辑中的普遍有效公式往往显示了一个逻辑规律。

5、例如：(∀x)(F(x)∨¬F(x))表示排中律。

6、(∀x)A(x)→(∃x)A(x)表示全称蕴涵存在。

7、命题逻辑中的普遍有效公式就是重言式。

关于普遍有效公式到此分享完毕，希望能帮助到您。