词语含义

查询结果

普遍有效公式

pǔ biàn yǒu xiào gōng shì

ㄆㄨˇ ㄅㄧㄢˋ ㄧㄡˇ ㄒㄧㄠˋ ㄍㄨㄥ ㄕˋ

「普遍有效公式」是什么意思？

更新 2026-07-16 11:29:55

扩展释义

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

拆字组词

普 遍 有 效 公 式

相关词语

友情链接

抓书网 短词网 书号查询 星云网 工作检讨书格式范文1000字(三篇)是什么意思？ 太原天气预报30天是什么意思？ 在线十六进制随机生成器是什么意思？ 拼音查字是什么意思？ 冬组词是什么意思？ 江 西是什么意思？ 常用进制转换工具是什么意思？ 查看安徽天气-逐小时雨 查看安徽天气 安徽是什么意思？ 惠安县是什么意思？ 环境科学与资源利用是什么意思？ 南昌天气一周查询是什么意思？ 景林村是什么意思？ fraising是什么意思？ 徐一萍是什么意思？ 清朝亲王尼堪：一生战功赫赫可惜英年早逝是什么意思？ 共19页 2025年山东省政治高考真题带答案带解析带分值文字版是什么意思？