释义 |
negation If p is a statement, then the statement ‘not p', denoted by ¬p, is the negation of p. It states, in some suitable wording, the opposite of p. For example, if p is ‘It is raining', then ¬p is ‘It is not raining'; if p is ‘r > 2', then ¬p is ‘r ≤2'. If p is true then ¬p is false, and vice versa. So the truth table of ¬p is:

See De Morgan's laws. |