Writing Proofs, Part I - "and" and "or"

Let's start with some True-False practice involving easy compound sentences. They all contain the word "and" or the word "or". As you go, think about why you are answering True or False, and how you'd explain your answer to a friend.


 

True False. 125 is either an even number or an odd number.

True False. 125 is an even number and an odd number.

True False. 125 is an odd number and a positive number.

True False. 125 is a negative number or a prime number.

True False. 16 is an even number and a prime number and a positive number.

True False. 16 is either an even number or a prime number or a negative number.

(try again, until you get all 6)


Comments: In the "and" examples, every part must be true (as in ex 3) and you'd have to explain the parts to your friend one at a time. If even one part is false, you answer false. You'd explain to your friend why that one part is false (ex 2 is false, because 125 is not even).

In the "or" examples, at least one part should be true. In ex 1, you'd explain that 125 is odd, so the answer is True. To answer False, all parts must be false. Ex 4 is false because 125 is not negative and not prime.

Summary of these proof strategies:

Saying that "p or q" is false is the same as saying that "p is false" and "q is false". Knowing which statements are equivalent can simplify your life. OK, let's practice with these ideas a bit.


Suppose you want to prove that "125 is either an even number or an odd number" is true. Then you'd (choose one):

prove that 125 is odd.

prove that 125 is odd and then that it is not even.

You want to prove that "125 is an even number and an odd number" is false. You'd prove (choose one)

125 is either even or odd.

125 is not even.

You want to prove that "125 is an odd number and a positive number" is true. You'd prove

125 is odd and then that 125 is positive.

125 is odd.

You want to prove that "125 is a negative number or a prime number" is false. You'd prove

125 is a not a negative number and not a prime number

125 is a not negative number.

To prove that "16 is an even number and a prime number and a positive number" is false, you'd prove

16 is an even number and a positive number.

16 is not a prime number.

To prove that "16 is either an even number or a prime number or a negative number" is true, you'd prove

16 is an even number.

16 is an even number, and then it's not a prime number, and then it's not a negative number.

Repeat until you are getting these right.


If you feel lost and want to do some background reading, contact me. Or if you just want to tell me what you think of this page. If you are ready to go on, you can try Writing Proofs, Part II ("if - then").

Written by S.Hudson, 5/1/02

Back to Help Page