查询结果
断定号
duàn dìng hào
ㄉㄨㄢˋ ㄉㄧㄥˋ ㄏㄠˋ
「断定号」是什么意思？
更新 2026-07-18 02:00:47
- 拼音字母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 是可证的.在一些命题演算和谓词演算系统中，在公理和定理前加上断定号以表示该公式在该系统中是可证的，如一个公式...
拆字组词
相关词语
- 中华世纪坛查含义
- 乐平铺镇查含义
- 主观精神查含义
- 光医学查含义
- 匡超查含义
- 叶县一中查含义
- 妙着查含义
- 大道无情录查含义
- 彭家桥查含义
- 悬厘穴查含义
- 承兑查含义
- 慈怡查含义
- 明光市查含义
- 旭日工业园区查含义
- 无言的爱查含义
- 晒台查含义
- 朱爱芹查含义
- 李峰岩查含义
- 根室鲁氏鱼查含义
- 柿沼紫乃查含义
- 沮授查含义
- 永垂不朽查含义
- 爆肚冯查含义
- 盖胃平查含义
- 石母田史朗查含义
- 科举查含义
- 细画眉草查含义
- 膨囊嵩草查含义
- 行军骨折查含义
- 钓贼查含义
- 钟山草查含义
- 雨水入渗查含义
- 鲁真公查含义
- 麦肯查含义
- 陕西省中医院查含义
- 美国郡温泉查含义
- 天照素查含义
- 动漫的记忆查含义
- 最后神战查含义
- 芦柏地黄丸查含义
- 圆头副狮子鱼查含义
- 减胎术查含义
- 春祭秋祭查含义
- 戒之四科查含义
- 程守谦查含义
- 王孙草查含义
- 邓荣斌查含义
- 潘正光查含义
- 荀宾查含义
- 卓国镇查含义