Rigorous Reasoning
Argument Editor
Lab prototype
Plain
Propositional
Categorical
Predicate
Symbols in text
Examples…
Modus ponens
Disjunctive syllogism
With sub-premises
Invalid argument
Natural deduction
Categorical syllogism
Predicate preview
Predicate with names (UI)
Existential proof (EI/EG)
Clear
⇤ outdent
⇥ indent
∴ conclusion
copy as text
Enter
new premise
Tab
sub-premise
Shift
+
Tab
back out
type
“Therefore, …”
to mark the conclusion
Backspace
undoes a symbol swap
cite a step:
(1, 2 MP)
at the end of a line — click the tag to edit