Before revision: Definition It states that with reference to any a logical proposition X, there are four possibilities: (affirmation) (negation) (both) (neither) see De Morgan's laws.
After revision: Definition It states that with reference to any a logical proposition X, there are four possibilities: (affirmation) (negation) (both) (neither)