Logic System Language

A Logic System Language is a Formal Language where each Formal String to Truth Values.

• Context:
  • It can be generated by a Logic System Grammar.
  • It can be associated to a Logic System.
• Example(s):
  • A Prepositional Logic Language.
  • A Predicate Logic Language.
• See: Logic Sentence, Well-Formed Formula.

---