Negation Math Example 4

Follow the full solution, then compare it with the other examples linked below.

Example 4

medium
Build the truth table for ¬p\neg p and verify that p¬pp \land \neg p is always false (contradiction) and p¬pp \lor \neg p is always true (tautology).

Solution

  1. 1
    For p=Tp = T: ¬p=F\neg p = F. Then p¬p=TF=Fp \land \neg p = T \land F = F and p¬p=TF=Tp \lor \neg p = T \lor F = T.
  2. 2
    For p=Fp = F: ¬p=T\neg p = T. Then p¬p=FT=Fp \land \neg p = F \land T = F and p¬p=FT=Tp \lor \neg p = F \lor T = T.
  3. 3
    In both rows, p¬p=Fp \land \neg p = F and p¬p=Tp \lor \neg p = T. Confirmed.

Answer

p¬pFalse (contradiction),p¬pTrue (tautology)p \land \neg p \equiv \text{False (contradiction)},\quad p \lor \neg p \equiv \text{True (tautology)}
A statement and its negation cannot both be true simultaneously (law of non-contradiction), and one of them must be true (law of excluded middle).

About Negation

The negation of a statement PP, written ¬P\neg P, is the statement with the opposite truth value: true when PP is false, and false when PP is true.

Learn more about Negation →

More Negation Examples