HELP AND RESOURCES || Example || General info || Intro to the proof system || Proof strategies || Response and feedback || WFF checker || Countermodel checker|| Equivalency checker|| QuizMaster || Logic Primer || Webalizer || Credits

TYPING SYMBOLS || &, ~, and = are on the keyboard || Wedge: v [lower-case vee] || Arrow: -> [dash greater-than] || Double Arrow: <-> [less-than dash greater-than] || Universal: @ || Existential: $ || There is no standard way to type a≠b; so for now you must use the negated form, i.e. ~a=b.