斷定號

斷定號(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 是可證的.在一些命題演算和謂詞演算系統中，在公理和定理前加上斷定號以表示該公式在該系統中是可證的，如一個公式前不加上這個符號則表示這個公式僅僅是被考慮到的.位於推演號前面(或左面) 的部分，稱為前提.位於推演號後面(或右面)的部分，稱為後承.例如，在a|—月中，a為前提，月為後承.