Opposite Literal A Labeled Formula (Positive Literal or Negative Literal) Aα we call the literal Aβ with α=β the opposite or partner literal.