|
6.2ex IV Symbolizations
Symbolize as before. Only now you may use quantifiers and
variables, names and predicates.
- You may use the old keyboard shortcuts except that now you must
type upper case letters for the predicates. (You can see why, right?)
- Use the '^' for the upside down-A and the '%' for the backward-E.
(It's really worth it to download and install the Logic font! See the
home page.)
- You may type a quantifier and variable without parentheses. They will
be added for you! E.g., just type '^x' and
this will be interpreted as '(^x)'.
- As the exercises get longer, it will take the Café longer to
figure out whether or not your answer is correct. Progress is indicated
on the status bar.
Start...
More
Directions, Hints, and Shortcuts...
Symbolize each of the following. Once you have finished
with any answer and moved on, the program will check your work. As long
as your answer is logically equivalent to a correct answer, your answer
will be counted as correct too.
Hints:
- If the program seems to be taking some time to work, note the "status
line" at the bottom left. It keeps you up to date.
- Also, and most importantly, if you just can't get an answer, you
can get help. Enter "?" instead of a symbolization; the correct answer
will pop up.
Start...
universe of discourse: people in a symbolic
logic class
j: John (a student in the universe of discourse)
Lx: x is late for class
Kxy: x knows y.
|