查询结果
普遍有效公式
pǔ biàn yǒu xiào gōng shì
ㄆㄨˇ ㄅㄧㄢˋ ㄧㄡˇ ㄒㄧㄠˋ ㄍㄨㄥ ㄕˋ
「普遍有效公式」是什么意思？
更新 2026-07-19 09:33:10
- 拼音字母pu bian you xiao gong shi
- 首字母pbyxgs
- 注音符号ㄆㄨ ㄅㄧㄢ ㄧㄡ ㄒㄧㄠ ㄍㄨㄥ ㄕ
扩展释义
普遍有效公式(universally valid formula)亦称永真公式或恒真公式，是一种基本公式。普遍有效是数理逻辑用语，狭谓词演算的一个公式是普遍有效的，当且仅当：对任何个体域，用任一个体常项代人其中的个体变项，用任一命题常项代人其中的命题变项，并且用任一特定的谓词常项代人其中的谓词变项，其结果总是真的。一公式普遍有效时，称为普遍有效公式。狭谓词逻辑中的普遍有效公式往往显示了一个逻辑规律。例如：(∀x)(F(x)∨¬F(x))表示排中律。(∀x)A(x)→(∃x)A(x)表示全称蕴涵存在。命题逻辑中的普遍有效公式就是重言式。
拆字组词
相关词语
- 冰尸玩过界查含义
- 函数论查含义
- 动物的爱心查含义
- 午夜企鹅查含义
- 双加镇查含义
- 双齿风毛菊查含义
- 和清查含义
- 国际商务查含义
- 富邦国际大厦查含义
- 寒瓜查含义
- 尾盘查含义
- 张玉彩查含义
- 张更新查含义
- 慈慧胡同查含义
- 文苑大厦查含义
- 星乙女查含义
- 油麦吊杉查含义
- 满月宴查含义
- 海绵钯查含义
- 渔户查含义
- 混淆鳞毛蕨查含义
- 考试查含义
- 粗柄槭查含义
- 细斑裸胸鳝查含义
- 罗曦查含义
- 胭脂木查含义
- 芡实猪肚汤查含义
- 角雉查含义
- 西柚三文鱼查含义
- 超越游戏查含义
- 超柔绒查含义
- 重庆双桥查含义
- 进贤进能查含义
- 金色彼岸查含义
- 遮浪中学查含义
- 雪白查含义
- 韦波查含义
- 高口村查含义
- 钤宫细音查含义
- 樱桃谷鸭查含义
- 突然说爱我查含义
- 海迷电台查含义
- 椒盐竹蛆查含义
- 塞阿拉竞技查含义
- 金大浩查含义
- 优美裂面藻查含义
- 塞尔维查含义
- 中华两栖甲查含义
- 地牢战士查含义
- 复方康彼身片查含义