Inference Engine
Return to menu.
Score
0
Reference
Atomic sentences
P, Q, R, S, T
Upper or lower case accepted
Boolean connectives
v & ~
Conditionals
-> <->
No shift key needed!
Every symbol can be typed without holding shift:
` → ~ 7 → & 3 → #
, → < . → > 9 → ( 0 → )
, → < . → > 9 → ( 0 → )
