断定号|断定号词语大全|断定号组词 - 语林词典

请问「断定号」是什么意思？

2026-07-11 21:12:20

「断定号」读音

拼音 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可从DD2,...,D，推演出，从而|—便成了推演号;当n=0,"} E”表示E 是可证的.在一些命题演算和谓词演算系统中，在公理和定理前加上断定号以表示该公式在该系统中是可证的，如一个公式...