-
原子公式
(沒有子公式的公式)
鎖定
原子是在邏輯系統中最小的公式。在邏輯系統中的合式公式通常通過識別所有有效的原子公式,和給出從兩個原子公式建立公式的規則而遞歸的定義。從原子公式製作的公式是複合公式。
- 中文名
- 原子公式
- 性 質
- 沒有子公式的公式
例如,在命題邏輯中你有如下的合式公式構造規則:
- 任何原子公式都是合式公式。
- 給定任何公式A,否定 ¬A("非A") 是合式公式。
- 給定任何兩個合式公式A和B,A∧B("A合取B") 是合式公式。
- 給定任何兩個合式公式A和B,A∨B("A析取B") 是合式公式。
- 給定任何兩個合式公式A和B,A→B("A藴涵B") 是合式公式。
- 給定任何兩個合式公式A和B,A↔B("A等價於B")是合式公式。
根據以上規則,我們可以構造更加複雜的合式公式。比如,從簡單的原子公式P、Q和R,根據我們的構造規則構造出 ((P∧¬(Q→R))∨¬P)。
- 詞條統計
-
- 瀏覽次數:次
- 編輯次數:7次歷史版本
- 最近更新: 白雪皑3wia3皑