# Logic Checkers

## This math trick isn't strongly related to numbers... Or is it? Mostly, it's about logic but it has something to do with even numbers vs. odd numbers.

P |
~P |
~(~P) |
~(~(~P)) |
~(~(~(~P))) |
… |

TRUE |
FALSE |
TRUE |
FALSE |
TRUE |
… |

FALSE |
TRUE |
FALSE |
TRUE |
FALSE |
… |

The tilde (~) represents the *negation* function in logic. When you use the word *not* in a sentence, you are using the negation function. It flips the truth value of a statement. For example, since the statement "**15** is divisible by **5**" is true, its negation "**15** is **not** divisible by **5**" is false.

## An odd number of *nots* gives false on the top row & true on the bottom row, but an even number of *nots* gives vice versa!

Back to Index Page Back to Math Trick Menu

© Derek Cumberbatch