Logic Term

A Logic Term is a Variable that maps to a Truth Value.

• AKA: Logic Atom.
• Context:
  • It can be a part of a Logic Literal, Logic Clause, Logic Sentence.
• Example(s):
  • X -> {True, False}
• Counter-Example(s):
  • NotX, a Negative Literal.
• See: Logic Statement, First Order Logic Term.

---