Logical Negation Relation

A Logical Negation Relation is a unary propositional logic relation that reverses the Boolean variable value of the relation argument.

• AKA: ¬, Not Connective.
• Context:
  • It has Truth Table:

    • A		¬ A
      T		F
      F		T

• Example(s):
  • ¬(A).
  • …
• Counter-Example(s):
  • Logical Disjunction.
  • Logical Conjunction.
• See: Propositional Expression, Logical Connective.

---