home—info—lectures—hws—exams
hw03
First Order Logic
Due 2007.Sep.13 (Thu) noon
Although you are welcome to typeset your work nicely (using Microsoft Word
or LaTeX or whatever to get nice logic symbols),
it's probably much easier to write formulas by hand.
-
Rosen 6ed: p47, #10
(= Rosen 5ed: p40, #10):
(raining cats and dogs ... and ferrets.)
-
-
-
-
-
-
Rosen 6ed: p61, #33
(= Rosen 5ed: p55, #33):
Pushing negation over quantifiers, (a)-(e).
-
TeachLogic exercises III: #11
(an even prime?)
-
TeachLogic exercises III: #12
(interpretations)
-
Extra Credit:
TeachLogic exercises III: #15
(translating sayings into first-order logic)
-
Extra Credit:
TeachLogic exercises III: #18
Writing formulas about sequences.
-
Rosen 6ed: p72, #4
(= Rosen 5ed: p73, #2):
Which rule of inference used in the English arguments about...
Kangaroos in Australia, etc.
-
Rosen 6ed: p72, #6
(= Rosen 5ed: p73, #4):
Create an argument about sailing weather.
Like a geometry proof,
each line of your answer is a statement,
plus (on the right) a justification which is
either "premise"
or
one of the rules from Rosen's Table 1.1
-
Rosen 6ed: p73, #10
(= Rosen 5ed: p73, #8):
Find a relevant conclusion, with a justification;
sore hockey etc
If you see a few other problems in Rosen which catch your eye,
and you'd like to do them for extra credit, you are welcome to
(though you can ask me for how much; extra-credit is harder to earn
point-per-point than regular credit).
1If you prefer
you can use the
Teachlogic inference rules
— pretty much the same rules with clearer names ↩
home—info—lectures—hws—exams
rad�ford.edu