~ = not, & = and, v = or, > = conditional, <> = biconditional
Single letters for propositions (except 'v').
Remove an assertion by prefixing an '!'
Evaluate a proposition by prefixing a '?'
Type 'reset' to reset model.
---:
Known States of Affairs:
Your Assertions: