查询结果
断定号
duàn dìng hào
ㄉㄨㄢˋ ㄉㄧㄥˋ ㄏㄠˋ
「断定号」是什么意思？
更新 2026-07-10 22:38:56
- 拼音字母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 是可证的.在一些命题演算和谓词演算系统中，在公理和定理前加上断定号以表示该公式在该系统中是可证的，如一个公式...
拆字组词
相关词语
- 九龙巷查含义
- 刘杨青查含义
- 华奥大厦查含义
- 卡西纳查含义
- 史晓伟查含义
- 反射闪光查含义
- 双溪竹海查含义
- 反像查含义
- 吕晓霞查含义
- 喉病查含义
- 天才小钓手查含义
- 夏立查含义
- 威他霉素查含义
- 尖利查含义
- 弗洛伊斯查含义
- 归真反璞查含义
- 徐恩光查含义
- 星震学查含义
- 李力查含义
- 樊瑞查含义
- 沈颂查含义
- 死刑复核查含义
- 涂辉查含义
- 潘春华查含义
- 清风园查含义
- 环讯查含义
- 生物磁学查含义
- 用非其人查含义
- 电动开窗器查含义
- 磷酸精氨酸查含义
- 粮食查含义
- 细木工板查含义
- 胡郢查含义
- 见识查含义
- 超能二学院查含义
- 越野吉普车查含义
- 走软查含义
- 郑宝维查含义
- 钟文泽查含义
- 闭室丽金小蜂查含义
- 阎峰明查含义
- 霍晓乐查含义
- 魏各庄村查含义
- 齿裂大戟查含义
- 殷高东路站查含义
- 梦靥斑马查含义
- 乐乐侠查含义
- 暗之声查含义
- 贵妃牛肉查含义
- 简单欲望查含义