/a Bo Ram Lee

/d 9/25/02

/g Findsubstitutions
/i
The sentence "If you wish, you may take another test but not this one; unless you want to flunk"
is a substitution instance of which of the following statement forms? Circle all that apply. For
each form that fits, write out a symbolization key showing how the sentence can be derived from
the given form. (5 each)

/q
pvq
/p 0
Selected
p = if you wish, you may take another test but not this one; q = you want to flunk

/q
p > ((q & r) v s)
/p 0
Not selected

/q
(p > q) v r
/p 0
Selected
p = if you wish; q = you may take another test but not this one; r = you want to flunk

/q
(p > (q & r)) v s
/p 0
Selected
p = if you wish; q = you may take another test; r = you may not take this one; s = you
want to flunk

/q
(p & q) v r
/p 0
Not selected

/g Findforms
/i
/q
Write out three statement forms of which the following sentence is a substitution
instance: "Give us liberty or give us death, but we don’t want slavery" (10pts)

/p 0
Any three of the following:
p
 p&q
(p v q) & r
(p v q) & ~r

/g TruthTable

/i
((q v r) < p ) & (~p > r)
-----------------------
~(p & r)

/q
Truthtable question = 02sXXt1.doc

p q r qvr (q v r) < p ~p ~p > r ((qv r)<p) p&r ~(p & r)

& (~p>r)

T T T T T F T T T F

T T F T T F T T F T

T F T T T F T T T F

T F F F F F T F F T

F T T T F T T F F T

F T F T F T F F F T

F F T T F T T F F T

F F F F T T F F F T

/q
Does your table show the argument to be valid or invalid? Valid Invalid
(Circle one. If the argument is invalid, indicate at least one row of the table which shows
it to be invalid.)
/p 0
Invalid, rows 1 and 3

/g SymbolizeSL
/i
Using the following key, symbolize the sentences that follow. (5 each). (Use the same letter for
all tenses.)
C = he Comes S = he Sees F = he Flees Q = he conQuers
G = he’s a Great commander W = he’s a coWard R = soldiers Respect him

/q
He came, he saw, he conquered.
/p 0
C&S&Q

/q
He came and saw, but fled.
/p 0
(C & S) & F

/q
He will conquer only if he is a great commander.
/p 0
Q>G

/q
If he comes but he does not conquer, the soldiers won’t respect him.
/p 0
(C & ~Q) > ~R

/q
Either he’s a coward or he doesn’t flee.
/p 0
C v ~F also F > C

/q
He’s a coward if he flees; but not, if he conquers.
/p 0
(F > W) & (Q > ~W)

/q
If he flees when he sees then he’s a coward.
/p 0
(S > F) > W

/q
Either he conquers or he doesn’t, but the soldiers will still respect him.
/p 0
(Q v ~Q) & R

/q
He conquers, even though he’s not a great commander and the soldiers don’t respect him.
/p 0
Q & (~G & ~R)
 /q
He won’t come and see unless the soldiers respect him.
/p 0
~(C & S) v R also ~R > ~(C & S)

/q
He will neither flee nor conquer, so long as the soldiers respect him.
/p 0
R > ~(F v Q)

/q
He’s a great commander if and only if he conquers and the soldiers respect him.
/p 0
G < (Q & R)

/q
Great commander or not, the soldiers won’t respect him in case he flees.
/p 0
(G v ~G) & (F > ~R)

/q
He came; but he saw nothing, or else he would have conquered.
/p 0
C & (~S v Q) also C & (S > Q)

/q
It’s not that he didn’t see, but he was a coward and he fled.
/p 0
~(~S) & (W & F) also S & (W & F)

/g SymbolizeandTestSL
/i
Symbolize the argument (5 pts per sentence), and then test it for validity.
S = I’m superstitious. W = I heed the warning.
G = I will go to the Senate on the Ides of March.

/q
I heed the warning, in case I’m superstitious.
/p 0
S>W

/q
Whether I’m superstitious or not, I will go to the Senate on the Ides of March.
/p 0
(S v ~S) & G

/q
I go to the Senate on the Ides of March, if I’m not superstitious.
 /p 0
~S > G

/q
Hence I do not heed the warning.
/p 0
~W

/q
Note: you may or may not need to use every column of the table.
Atoms = XXX; xxx cols

/p 0
Table answer = 02sXXa2.doc

S W G ~S S v ~S (S v ~S) & G ~S > G S>W ~W

T T T F T T T T F

T T F F T F T T F

T F T F T T T F T

T F F F T F T F T

F T T T T T T T F

F T F T T F F T F

F F T T T T T F T

F F F T T F F F T

/q
According to your table, is the argument valid? Yes No
(If not, indicate a row that shows it is not. Table 20 pts; verdict 5 pts).
/p 0
No, rows 1 and 5

/i
Symbolize the argument (5 pts per sentence), and then test it for validity.
C = I love Caesar. R = I love Rome. D = Caesar dies.

/q
Caesar dies only if I love Rome.
/p 0
D>R

/q
 Either I love Caesar or love Rome, but not both.
/p 0
(C v R) & ~(C & R)

/q
I love Rome.
/p 0
R

/q
Hence Caesar dies, though I love him.
/p 0
D&C

/q
Note: you may or may not need to use every column of the table.
Atoms = XXX; xxx cols

/p 0
Table answer = 02sXXa3.doc

C R D CvR C&R ~ (C & R) (CvR) & R D>R D&C

~(C&R)

T T T T T F F T T T

T T F T T F F T T F

T F T T F T T F F T

T F F T F T T F T F

F T T T F T T T T F

F T F T F T T T T F

F F T F F T F F F F

F F F F F T F F T F

/q
According to your table, is the argument valid? Yes No
(If not, indicate a row that shows it is not. Table 20 pts; verdict 5 pts).
/p 0
Invalid, rows 5 and 6