释
断定号
duàn dìng hào · ㄉㄨㄢˋ ㄉㄧㄥˋ ㄏㄠˋ
修撰于 2026-07-01 01:57:00
音义
| 拼音 | 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 是可证的.在一些命题演算和谓词演算系统中，在公理和定理前加上断定号以表示该公式在该系统中是可证的，如一个公式...