You should now Launch Deriver and do the 2 exercises of Predicate Exercise 6 (Predex6).
Remember, the program uses the following conventions
a = ARTHUR
b = BERYL
c = CHARLES
Sx = STUDIES
Tx = THINKS
Ax = ANGRY
Bx = BOLD
Cx = CHEERFUL
Nx = NINCOMPOOP
Px = PHILOSOPHER
The logical systems we use have lower case letters from the end of the alphabet as variables. To symbolize English one step at a time (as we have been doing so far), we need English names for these variables-- English capitals are used for this, 'X' is used for 'x' and so on...
Symbolize (ie select, copy, click To symbols etc. ensuring that Predicate Level is chosen).
a) X studies.
b) Y thinks.
c) It is not the case that Z is bold.
d) Z is a cheerful nincompoop.
Symbolize
a) Everything thinks.
b) Something thinks.
c) Nothing thinks.
d) Everything is cheerful.
e) Something is cheerful and bold.
f) Every philosopher is a nincompoop.
g) Every nincompoop is a philosopher.
h) Some philosopher is a nincompoop.
i) Some bold philosopher is a nincompoop..
j) Every cheerful philosopher is a nincompoop.
k) No nincompoop is a philosopher.
l) Everything that thinks studies.
m) Something that studies thinks.
n) Nothing that studies thinks.
o) Everything that both studies and thinks is cheerful.
p) Nothing that thinks is either angry or cheerful.