| Below
you will find some additional exercises for your use as take-home practice
problems. Examples presented in class are also included here.
Chapter
1
Ch1Ex1.sen
Ch1Ex1.wld
AlwaysTrue.sen
AlwaysFalse.sen
<--
RETURN TO TOP
Chapter
2
Ch2Ex1a.sen
Ch2Ex1b.sen
Ch2Ex1.wld
Proof
Identity 1.prf
Ch2Ex1a.prf
Ch2Ex1b.prf
Ch2Ex2.prf
Ch2Ex3.prf
Bill's
Argument.wld
Deductive
vs. Inductive.wld
Deductive
vs. Inductive.sen
<--
RETURN TO TOP
Chapter
3
Sentences
TF1
World
TF1
<--
RETURN TO TOP
Chapter
4
Possibility.pdf
Ch4Ex1.tt
Ch4Ex1.prf
Ch4Ex3.prf
Ch4Ex2.tt
Ch4Ex2.prf
<--
RETURN TO TOP
Chapter
5
Ch5Ex1.sen
Ch5Ex1.wld
Ch5Ex1.prf
Ch5Ex2.sen
Ch5Ex2.wld
Ch5Ex2.prf
<--
RETURN TO TOP
Chapter
6
Page
151.prf
Page
163.prf
Ch6Ex2a
Ch6Ex2b
Ch6Ex2c
Ch6Ex2d
Proof
6.33 simpler.prf
Proof
6.41a.prf
Proof
6.41b.prf
Proof
6.41c.prf
Proof
6.41d.prf
Proof
6.41e.prf
Proof
6.41f.prf
Proof
6.41g.prf
<--
RETURN TO TOP
Chapter
7
Ch7Ex1.sen
Ch7Ex1.wld
Some
useful truth-table equivalences
<-- RETURN TO TOP
Chapter
8
ProblemWB.prf
[a good practice problem for learning the “working backwards”
strategy]
Irrelevant
Antecedent
Irrelevant
Consequent
Conditional
Tricks
The problem
The completed proof
Converted to a proof without premises
Proof
8.48a.prf
Proof
8.48b.prf
Proof
8.48c.prf
Proof
8.52a.prf
Ch8Ex1a.prf
Ch8Ex1b.prf
Ch8Ex1c.prf
Ch8Ex1d.prf
Ch8Ex2.prf
Proof
Ch8Ex2.prf
MidtermPrep1.prf
ProofMidtermPrep1.prf
<--
RETURN TO TOP
Chapter
9
Ch9Ex1.sen
Ch9Ex2.sen
Ch9Ex2.wld
Common Forms of Quantification
Equivalent Translations into FOL of some common English quantificational forms
All vs. Only
<--
RETURN TO TOP
Chapter
10
Example 1, sentences
Example 1, world
Example 2, sentences
Example 2, world
Example 3, argument on page 269
Example 3, replacement method applied to argument on page 269
Example 3, invalid argument of same form as page 269
Example 3, counter-example world
Example 4, sentences
Example 4, world
Some
useful quantifier equivalences
<--RETURN
TO TOP
Chapter
11
Step-by-step1.sen
Step-by-step1.wld
<--
RETURN TO TOP
Chapter
13
Ch13Ex1
EI
Varieties
Proof
13.23a.prf
Proof
13.23b.prf
Proof
13.23.prf
Symmetry.sen
Asymmetry.prf
Doris
Day's Argument
Proof
Doris Day Stage 1
Proof
Doris Day Stage 2
Proof
Doris Day's Argument
Doris
Day 2.prf
Dangerfield's
Argument
Proof
Dangerfield Stage 1
Proof
Dangerfield Stage 2
Proof
Dangerfield's Argument
Leibniz's
Argument
Proof
Leibniz Start
Proof
Leibniz Stage 1
Proof
Leibniz Stage 2
Proof
Leibniz's Argument
<--
RETURN TO TOP
Chapter
14
Ch14Ex1.sen
Ch14Ex1a.sen
Ch14Ex2.sen
Ch14Ex3.prf
Russell.sen
Ezra Pound’s First Argument
Ezra Pound’s Second Argument
Limitations of the blocks language
UniqueWorld.sen
UniqueWorld.wld
|