Feb. 1, 2005 Due
February 8, 2005
Here are 10 symbols:
Q f µ u ^ K L v ž
(a) Let it be a rule that symbols separated by a L or a u may be rewritten with those symbols reversed.
E.g. If you have: (1) ^Lµv
Then you can write: (2) µL^v
Or if you have: (3) žu^vQ
Then you can write: (4) ^užvQ
(b) Let it be the case that two L can never appear adjacent to each other on a single line, nor can two u.
I. Assign any values that you like to the symbols above, such that the strings of symbols (1) and (3) turn out to be true, and the rules (a) and (b) are truth preserving.
II. Assign a second, different interpretation of the symbols that also makes (1) and (3) true, and the rules (a) and (b) truth preserving.
III. Assign a third interpretation, such that (1) and (3) are true, but the rules (a) and (b) are not truth preserving.