| Math 323 | Logical and Arithmetic (Algebraic) Proofs | 200x |
|---|
In Problem 1.10 from the textbook, I ask you to
explain answers both logically and
arithmetically.
Here is an example of how you might present a solution to a similar problem.
Note 1: I don't want you to copy the precise words I use below. This is
just to show what KIND of information I want in a solution.
Note 2: The words in [.. ..] are included as my explanation to you;
you would not include them in your solutions to the problems -- if you
know computer programming, think of them as comments in a computer
program.
Note 3: See NOTE at the end of the discussion.
1.10. True or False.
(*) 7 is prime and 5 is even.
We know that 5 is not even (optional: because 5 is not a
multiple of 2), so the statement “5 is even”
is F.
[..Arithmetic part of explanation..]
For an AND statement to be T, both parts must be T.
[..Logical part of explanation..]
Therefore the given statement is false.
ALTERNATIVE
1.10. True or False.
(*) 7 is prime and 5 is even.
We know that 5 is not even (optional: because 5 is not a
multiple of 2), so the statement “5 is even”
is F.
[..Arithmetic part of explanation..]
For an AND statement to be true, both parts must be true.
[..Logical part of explanation..]
Therefore the statement 7 is prime and 5 is even is false.
NOTE that the truth or falsity of the statement 7 is prime is irrelevant to the explanation. Therefore it is a waste of paper, it is a waste of ink (or pencil), and it is a waste of time to include reference to it.
Last modified Aug 23, 2007
Back to Assignments
Back to Course Home Page