| 檢驗經典真偽之準則 |
序言：
辨明佛經真偽前，首須探究佛陀所揭示的實相真理。若能洞悉此理，方能鑑別經文之是非真偽。
真偽法：一門研究命題真假關係的數學理論
真偽法（Propositional Calculus）是數學邏輯中一門基礎學科，專門研究命題的真假關係及演繹規律。真偽法是一個形式化的系統，它定義了一組符號（邏輯連接詞），並規定了這些符號是如何結合起來形成複合命題的。
真偽法符號
| 符號 | 名稱 | 描述 |
|---|---|---|
p、q、r、… |
命題變數 | 代表一個真值為真或假的命題 |
¬ |
非 | 非運算符，將一個命題取反 |
∧ |
與 | 與運算符，兩個命題都為真時輸出為真 |
∨ |
或 | 或運算符，兩個命題中有一個為真時輸出為真 |
→ |
假言 | 假言運算符，只有前件為真且後件為假時才輸出為假 |
≡ |
當且僅當 | 當且僅當運算符，前件與後件真假值相同時才輸出為真 |
真值表
真偽法中，命題變數和複合命題的真假關係可以透過真值表來表示。真值表列出所有可能的輸入值組合以及相應的輸出值。舉例來説，以下為 ¬p 運算符的真值表：
| p | ¬p |
|---|---|
| 真 | 假 |
| 假 | 真 |
演繹規則
真偽法則定義了一系列演繹規則，這些規則允許我們從已知的真命題推導出新的真命題。演繹規則包括：
- 同一律：一個命題等於其本身
- 非矛盾律：一個命題不可能同時為真為假
- 排中律：一個命題必定為真或假
- 假言三段論：若
p → q且q → r，則p → r - 選言三段論：若
p → q且¬p → q，則q
真偽法應用
真偽法在邏輯學、數學和計算機科學等領域有廣泛的應用，例如：
- 論證推演：真偽法可以檢查論證的有效性和結論的可靠性。
- 電路設計：真偽法用於簡化電子電路的邏輯表達式。
- 程式語言：真偽法構成程式語言中的條件判斷的基礎。
常見問題
Q：真偽法是否包含所有邏輯推理形式？
A：不，真偽法只涵蓋命題邏輯，忽略了量詞和謂詞等更複雜的推理形式。
Q：真偽法和數理邏輯的區別是什麼？
A：數理邏輯是一個更廣泛的領域，包含真偽法，並提供了一套更全面的推理工具，包括一階邏輯、二階邏輯等。