请问「断定号」是什么意思？
2026-07-10 22:41:35
「断定号」读音
拼音 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 是可证的.在一些命题演算和谓词演算系统中，在公理和定理前加上断定号以表示该公式在该系统中是可证的，如一个公式...
推荐