"查查詞典"手機(jī)版
千萬(wàn)人都在用的超大詞匯詞典翻譯APP
In mathematical logic, a sentence of a predicate logic is a boolean-valued well formed formula with no free variables. A sentence can be viewed as expressing a proposition, something that may be true or false.
詳細(xì)百科解釋