Begin with problem one below. As usual, the premises are given.
The goal sentence is written in toward the bottom of the derivation with
question marks. As hints, the problem may be partially filled in. As usual,
your job is to follow the rules of derivation, remove all question marks,
and get to the given conclusion.
Shortcuts and Procedures: you may enter text in lower case (e.g.,
press the 7/& key without shifting and the computer will read this
as an ampersand), don't worry about spaces, press TAB to move about and
test your work. Please note that only changes that you make are
checked by the Logic Cafe
-- and only after you've moved on to the next field.