断定号
基本解释
简解
断定号的词语属性
拼音duàn dìng hào
拼音字母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 是可证的.在一些命题演算和谓词演算系统中，在公理和定理前加上断定号以表示该公式在该系统中是可证的，如一个公式...
猜你喜欢
- danshenhuanghou单身皇后
- nanshanxiang南山乡
- fuzhenggubenkeli扶正固本颗粒
- zhangrongzhong张荣重
- jiangshuhong江淑红
- zhoujianbing周建兵
- zhushizhichen柱石之臣
- maojiancha毛尖茶
- zuijianfenshu最简分数
- wangweijie王伟杰
- lanweina兰未娜
- yangcongluo洋葱螺
- tanzidong檀梓栋
- jinglianjie静联接
- sumuzhebiezi苏幕遮别子
- qì něi气馁
- ganggouchangfang钢构厂房
- jingfuxiaozhu靖府小筑
- hongxingjiudian红星酒店
- jiyunxingcengjiyun积云性层积云
- alinbo阿林波
- shouquchuanzhizhan手取川之战
- jiangxixiaofang江西消防
- biwendan逼瘟丹
- chundacongchunguanfa春大葱春管法
- cuichengcheng崔成成
- guangdongyinlexinshang广东音乐欣赏
- bianzhiguang彼岸之光
- jiangjunxiaoxue将军小学
- zhangwenyong张文永