Logic Language

A Logic Language is a formal language composed of logic sentences (derivable from the symbols in a logic alphabet).

• AKA: Formal Logic Language.
• Context:
  • It can be a part of a Logic System.
  • It can be generated by a Logic Language Grammar, such as a:
    • Propositional Logic Grammar.
    • Predicate Logic Grammar.
    • First-Order Logic Grammar.
• See: Logic Operations.

---

---