Discrete Structures
HW #5 —
§1.5: Rules of Inference
Last Update: 1 October 2010
Note:
or
material is highlighted

All exercises come from, or are based on exercises from, the Rosen text.
Each HW problem's solution should consist of:
All solutions must be handwritten.
PUT YOUR NAME, DATE, RECITATION SECTION, &
"HW #5"
AT TOP RIGHT OF EACH PAGE;
STAPLE MULTIPLE PAGES 
 (9 points each; total = 45 points)
Below are 5 short arguments in English.
 (3 points each)
For each argument,
first give the syntax and semantics of
translations of each sentence into the
language of propositional logic;
e.g.: Let a = "Alice is a mathematics major".
 (3 points each)
Then write each argument in your propositional language.
 (3 points each)
Finally, state the rule of inference that validates each argument.
 Logic is worth studying, and it is a foundation of
computer science. Therefore, it is a foundation of computer
science.
 Either microeconomics is a foundation of computer science,
or logic is a foundation of computer science.
Microeconomics is not a foundation of computer science.
Therefore, logic is a foundation of computer science.
 Logic is a foundation of computer engineering, and
computer engineering is worth studying. If so, then we can say the same
thing about logic and
computer science. Therefore, logic is a foundation of computer science
and computer science is worth studying.
 If logic is a foundation of computer science,
then logic is worth studying.
If logic is worth studying,
then you should put a lot of effort into CSE 191.
Therefore, if logic is a foundation of computer science,
then you should put a lot of effort into CSE 191.
 Logic is worth studying. Therefore, either logic
is worth studying, or
I'm a monkey's uncle.
 (Click on the link, if you don't know what that phrase
means in English :)
 (3 points each; total = 6 points)
Which, if any, of these arguments are valid? Why (or why not)?
 2+2=5
(2+2=5) → (Bertrand Russell is the Pope)
∴ Bertrand Russell is the Pope.

(Background:
A TV ad from several years ago showed a man eating
a slice of bread with a butterlike
substance spread on it.
He says, "If this is margarine, then I'm a monkey's uncle."
The viewer then sees him holding a baby monkey in his
arms, and is supposed to infer the conclusion of the following
argument:)
If this is margarine, then I'm a monkey's uncle.
I am a monkey's uncle.
∴ This is margarine.
 (3 points each; total = 12 points)
Consider the following 4 arguments.
For each argument, the truth value of its premises and conclusion is
given.
 For each argument, say whether it is valid, invalid, sound, or
unsound.
 For partial credit, give your reasons.
 A reason for an argument being valid is that it is an
instance of a rule of
inference.
 A reason for an argument being invalid is that you can
construct an argument of the same form that clearly has true premises
but a false conclusion.
 A reason for an argument being sound is that it satisfies
both clauses of
the definition of "sound" (as defined in lecture).
 A reason for an argument being unsound is that it fails
to satisfy at least one of the two clauses of the definition of
"sound".
 If Lassie is a dog, then Lassie is a mammal. (T)
Lassie is a dog. (T)
∴ Lassie is mammal. (T)
 If the President's limousine is a Jeep, then it is a vehicle. (T)
The President's limousine is a vehicle. (T)
∴ The President's limousine is a Jeep. (F)
 If Garfield is a cat, then Garfield is a dog. (F)
If Garfield is a dog, then Garfield is a mammal. (T)
∴ If Garfield is a cat, then Garfield is a mammal. (T)
 If George W. Bush is a recent President, then he has lived in
the White House. (T)
George W. Bush has lived in the White House. (T)
∴ George W. Bush is a recent President. (T)
Total points = 63
Tentative grading scheme:
A 6163
A 5760
B+ 5456
B 5053
B 4749
C+ 4346
C 3642
C 2935
D+ 2228
D 1221
F 011
DUE: AT THE BEGINNING OF LECTURE, FRI., OCT. 8 
Text copyright © 2010 by William J. Rapaport
(rapaport@buffalo.edu)
Cartoon links and screencaptures appear here for your enjoyment.
They are not meant to infringe on any copyrights held by the creators.
For more information on any cartoon, click on it, or contact me.
http://www.cse.buffalo.edu/~rapaport/191/F10/hw05.html2010