[H34] 語句邏輯- 邏輯狀態 - PHILOSOPHY@HKU
文章推薦指數： 80 %
1. 恆真句(tautology). 當一個WFF在其包含的語句字母的所有真值賦與下都為真，我們便稱它為「恆真句」。 恒真式（tautology）又称为套套逻辑、恒真句、恒真式或重言式等。 語句包括：恆真句、矛盾句、偶真句。 恆真句通常稱之為tautology，翻譯上有點困難，為了不陷入恆真的問題，而不用. 「恆真」字眼，採用音譯「套套邏輯」。 16 ... 名詞解釋： 恆真句（或譯為「同義反複語」、「套套邏輯」）指某個邏輯上的複合語句，不論其組成的原子語句(compontent atomic sentence)是否為真，此複合 ... 恆真式（tautology）又稱為套套邏輯、恆真句、恆真式或重言式等。 恆真式是指在任何解釋下皆為真的命題，例如 P ∨ ¬ P {\displaystyle P\vee \neg P} ...
下面是一些例子： ...
真值表提供的訊息可讓我們得知任一WFF的邏輯狀態 (logical status)。
邏輯狀態通常被區分為三類：
如果一個WFF不是不一致的，則它便是一致的。
適然句即既非不一致又非恆真的WFF。
換言之，若一WFF為適然句，那至少有一個真值賦與可令其真，也至少有一個真值賦與可令其假。
例如，所有語句字母都屬適然句。延伸文章資訊
1恒真式- Wikiwand2Ch.4-4 恆真句、矛盾句與偶真句/ 傅皓政 - YouTube3下載參考檔1 - 臺大開放式課程4恆真句- 教育百科5恆真式- 維基百科，自由的百科全書 - Wikipedia
