Type your argument into the box on the left,
including the premises and the conclusions, one per line.
For... | Use |
negation | ~ or ! |
or | o, v, |, or | |
and | a or & |
if-then | t or > |
if and only if | = or e |
Parentheses are allowed in all forms, including (), [], and {}.
Valid atomic sentences are A-Z, p, q, r, and s.