真值規則

真值規則(rule of truth)指的是語義系統的基礎的其中一個組成部分。真值規則相當於命題演算中的真值賦值的規則。如:(1)原子句的真值規則,由一個n元謂詞,後而跟n 個常元得到的表達式。稱為原子句。語義系統中由一個元謂詞,後面跟n個常元得到的原子句是真的,若且唯若,那個個體常元指稱的個體具有那個謂詞指稱的屬性。

析取∨的真值規則:p∨q 在語義系統中真,當其僅當,兩成分中至少有一在語義系統中真。等值↔的真值規則:p↔q在語義系統中真,若且唯若,或兩成分皆真或兩成分皆假。對其他聯結詞,還有相應的規則。真值函式 即“真值函項”。

相關詞條

熱門詞條

聯絡我們