Startup guide for Bertie3 or Twootie Notes on getting started with Bertie3 or Twootie. Typically users will start by loading one or another of the stored problem sets, so both programs will start by asking you which problem set to load. The bottom line of the screen always describes your current options or the current command. Each program has a very extensive help system, which can be entered at any time by pressing function key F1. Probably the biggest barrier to overcome is to learn what keys to press for logic symbols.
Negation is entered with the hyphen, usually found above and to the right of the P key.
Atomic sentences must be capitalized. The outermost parentheses around sentences are optional. A justification is typically one or more line numbers, followed by a rule name. The rule names are very simple in The Logic Book and in both programs. There is one for each connective, and one for each negated connective.