← Logic

Logic

Negation

Lesson

The negation of a statement pp, written ¬p\neg p(or “not p”), is the statement with the opposite truth value.

Truth table

  p   | ¬p
 -----+----
   T  |  F
   F  |  T

Double negation

¬(¬p)p\neg(\neg p) \equiv p

Negating twice gets you back to the original.

How to answer

Use 1 for true and 0 for false.

Practice

Work through these. Stuck? Click Get a hint.

Warm-Up

Quick problems to get going.

Problem 1

p=T. ¬p=?p = T. \ \neg p = ?

Problem 2

p=F. ¬p=?p = F. \ \neg p = ?

Problem 3

“All triangles have 3 sides.” is T. ¬p?\text{``All triangles have 3 sides.'' is T. } \neg p?

Problem 4

“5 > 10” is F. ¬p?\text{``5 > 10'' is F. } \neg p?

Practice

Standard problems matching the lesson.

Problem 5

“2+2=4” is T. ¬p?\text{``2+2=4'' is T. } \neg p?

Problem 6

“All numbers are even” is F. ¬p?\text{``All numbers are even'' is F. } \neg p?

Problem 7

“0 is positive” is F. ¬p?\text{``0 is positive'' is F. } \neg p?

Problem 8

π is rational” is F. ¬p?\text{``}\pi\text{ is rational'' is F. } \neg p?

Problem 9

“A triangle has 4 sides” is F. ¬p?\text{``A triangle has 4 sides'' is F. } \neg p?

Problem 10

“Squares are rectangles” is T. ¬p?\text{``Squares are rectangles'' is T. } \neg p?

Problem 11

“All squares are equal” is F. ¬p?\text{``All squares are equal'' is F. } \neg p?

Problem 12

“Even numbers are divisible by 2” is T. ¬p?\text{``Even numbers are divisible by 2'' is T. } \neg p?

Problem 13

“1 is prime” is F. ¬p?\text{``1 is prime'' is F. } \neg p?

Problem 14

If ¬p is T, what is p?\text{If } \neg p \text{ is T, what is } p?

Problem 15

If ¬p is F, what is p?\text{If } \neg p \text{ is F, what is } p?

Problem 16

p=T. ¬¬p=?p = T. \ \neg\neg p = ?

Problem 17

p=F. ¬¬p=?p = F. \ \neg\neg p = ?

Problem 18

“10 > 5” is T. ¬p?\text{``10 > 5'' is T. } \neg p?

Challenge

Harder problems — edge cases, trickier numbers, multiple steps.

Problem 19

“2 is even” is T. ¬p?\text{``2 is even'' is T. } \neg p?

Problem 20

¬(¬(¬T))=?\neg(\neg(\neg T)) = ?

Problem 21

¬(¬(¬F))=?\neg(\neg(\neg F)) = ?

Problem 22

¬(T)=?\neg(T) = ?

Problem 23

¬(F)=?\neg(F) = ?

Problem 24

If a statement is true, its negation has truth value?\text{If a statement is true, its negation has truth value?}

Problem 25

The negation of “no birds fly” (F)\text{The negation of ``no birds fly'' (F)}

Ask the tutor

Stuck on a concept? Want another example? Ask anything about this topic.

Type your own question below, or tap one of the suggestions. The tutor can re-explain the lesson, work through a specific problem with you, generate fresh practice tuned to where you are, or check your reasoning.

Quiz

Test yourself on this topic →

10 questions, no hints. About 5 minutes.