查询结果
断定号
duàn dìng hào
ㄉㄨㄢˋ ㄉㄧㄥˋ ㄏㄠˋ
「断定号」是什么意思？
更新 2026-07-11 10:33:02
- 拼音字母duan ding hao
- 首字母ddh
- 注音符号ㄉㄨㄢ ㄉㄧㄥ ㄏㄠ
扩展释义
断定号(assertion sign)一种逻辑语法符号. 指由德国数学家、数理逻辑学家弗雷格(Frege,<F. L. )G.)首先引人的符号“|—”.将断定号加在一命题 p前，即|—P，是指p被断言是真的.而美国学者罗塞(Rosser, J. B.)和美国逻辑学家、数学家克林 <Kleene,S. C.)对此符号的用法作了发展，表达式 }.Dl }D2}...}D } E”表示E可从D D2,...,D，推演出，从而|—便成了推演号;当n=0,"} E”表示E 是可证的.在一些命题演算和谓词演算系统中，在公理和定理前加上断定号以表示该公式在该系统中是可证的，如一个公式...
拆字组词
相关词语
- 专业队查含义
- 九天玄女查含义
- 刘珊查含义
- 南方高增长查含义
- 北大法宝查含义
- 台湾舌塘鳢查含义
- 外经贸大厦查含义
- 天眼通查含义
- 妇科止带胶囊查含义
- 姜勋查含义
- 孔蚀查含义
- 广东人家查含义
- 必背镇查含义
- 张根查含义
- 感冒止咳颗粒查含义
- 挤提查含义
- 新富乡查含义
- 李慧明查含义
- 格杀查含义
- 植物农药查含义
- 涂毅查含义
- 灯明寺镇查含义
- 犯罪征表说查含义
- 生死博弈查含义
- 生殖器疱疹查含义
- 秋坡村查含义
- 稀戊二醛溶液查含义
- 科学立法查含义
- 离子火花查含义
- 纯棉查含义
- 考神查含义
- 苔垢菜查含义
- 至愿查含义
- 荣冠花园查含义
- 西泠印社查含义
- 谔谔查含义
- 边宽查含义
- 贾菌查含义
- 里虚查含义
- 铁达铁达查含义
- 高莹查含义
- 甘道夫查含义
- 搞怪柔道王查含义
- 戈壁巨龙查含义
- 强果查含义
- 校园武神查含义
- 蘑菇鸡片查含义
- 还原蛋查含义
- 骨灰杯查含义
- 三峡肥鱼查含义