Logic Grammar

A Logic Grammar is a Formal Grammar to generate Logic Sentences (from Symbols of a Logic Alphabet).

• AKA: Logic Language Grammar, Formal Logic Grammar.
• Context:
  • It can be associate to a Logic System (and produce a Logic Language).
  • It can be a:
    • Propositional Logic Grammar.
    • Predicate Logic Grammar.
• Example(s):
  • a Disjunctive Normal Form Logic Formula Logic Grammar:
    • Disjunct → Conjunct
    • Disjunct → Disjunct Or Conjunct
    • Conjunct → Logic Literal
    • Conjunct → (Conjunct And Logic Literal)
    • Logic Literal → Logic Term
    • Logic Literal → Not Logic Term.
  • a Propositional Logic Grammar.
    • WFF ∈ {Logic Term, Logic Compound}
    • Logic Atom ∈ {True, False, Variable}.
    • Logic Variable ∈ {V₁, V₂, … } (Countable Set)
    • WFF ∈ ¬ WFF | (WFF ∧ WFF) | (WFF ∨ WFF) | (WFF → WFF) | (WFF ↔ WFF)
• See: Language Grammar.

---