人工智能學習筆記（一）命題邏輯

定義 命題：命題是一個陳述句。它只能取真或假，而不能是二者。 命題邏輯鏈接符：web 符號 涵義 ~ 讀做「非「，否認符號 ∧ 與, 而且, 合取符號 ∨ 或, 或者, 析取符號 → 蘊涵,隱含, 蘊涵符號 ↔ 充要, 等價, 等值符號 合式公式：用鏈接符將多個原子公式組合以構成比較複雜的邏輯公式。遞歸定義：svg - 原子是公式; - 若是G是公式, 則~G也是公式 - 若是G,H是公式, 則(

>>阅读原文<<