∨: 選言 (disjunction) ¬: 否定 (negation) →: 含意 (implication) ≡: 同値 (equivalence) 論理演算子の優先順位 ( ¬ > ∧ > ∨ > → > ≡)
¬: 否定 (negation) →: 含意 (implication) ≡: 同値 (equivalence) 論理演算子の優先順位 ( ¬ > ∧ > ∨ > → > ≡)
→: 含意 (implication) ≡: 同値 (equivalence) 論理演算子の優先順位 ( ¬ > ∧ > ∨ > → > ≡)
≡: 同値 (equivalence) 論理演算子の優先順位 ( ¬ > ∧ > ∨ > → > ≡)
論理演算子の優先順位 ( ¬ > ∧ > ∨ > → > ≡)
[定義] (命題論理式 Propositional Logic Formula)
基本命題およびその否定をリテラル (literal)と呼ぶ.
(p → q) → r (¬p → ¬q) → ((¬p → q) → p) (¬p →) → ((→ q) →p)
(¬p → ¬q) → ((¬p → q) → p) (¬p →) → ((→ q) →p)
(¬p →) → ((→ q) →p)
連言,選言,同値の含意による定義
p ∨ q = ¬p → q p ≡ q = (p → q) ∧ (q → p)
p ≡ q = (p → q) ∧ (q → p)