请问「断定号」是什么意思？
关于「断定号」
拼音 duàn dìng hào，注音 ㄉㄨㄢˋ ㄉㄧㄥˋ ㄏㄠˋ。数据更新于 2026-07-12 05:54:16。
| 拼音字母 | 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 是可证的.在一些命题演算和谓词演算系统中，在公理和定理前加上断定号以表示该公式在该系统中是可证的，如一个公式...
拆字组词
相关词语
- 不由分说是什么意思？
- 兴安乳菀是什么意思？
- 冯军伟是什么意思？
- 卡塔克是什么意思？
- 剑叶铁树是什么意思？
- 吸收层是什么意思？
- 响动是什么意思？
- 大女人主义是什么意思？
- 外包服务是什么意思？
- 建民是什么意思？
- 庄欣是什么意思？
- 弯生胚珠是什么意思？
- 张守端是什么意思？
- 我的思念是什么意思？
- 文津出版社是什么意思？
- 一个是什么意思？
- 松本梨香是什么意思？
- 标准大气压是什么意思？
- 沙漠情酋是什么意思？
- 滴血黄昏是什么意思？
- 焦明路是什么意思？
- 玛丽与伽利是什么意思？
- 离心精选机是什么意思？
- 苍穹变是什么意思？
- 赵振峰是什么意思？
- 许钊是什么意思？
- 近藤玲子是什么意思？
- 金华乡是什么意思？
- 钛铁霞辉岩是什么意思？
- 长泾镇是什么意思？
- 陈永熙是什么意思？
- 陈迎是什么意思？
- 顺河回族是什么意思？
- 黄花老鹳草是什么意思？
- 魔法老师是什么意思？
- 岱海温泉城是什么意思？
- 南腊河是什么意思？
- 夏布拉尼古德是什么意思？
- 彭格列家族是什么意思？
- 淡紫色猫是什么意思？
- 钱一独是什么意思？
- 少女之友是什么意思？
- 密舍是什么意思？
- 湘烟是什么意思？
- 霍瓦特是什么意思？
- 安哥拉黑鹟是什么意思？
- 瑚珊是什么意思？
- 江西金钱草是什么意思？
- 食猴鹫是什么意思？
- 罗莫是什么意思？