Server-side Processing

Examples and information on the input syntax

Please note that the letters "W" and "F" denote the constant values truth and falsehood and that the lower-case letter "v" denotes the disjunction. You may use all other letters of the English alphabet as propositional variables with upper-case letters being preferred.

Connectives must be entered as the strings "¬" or "~" (negation), "∧" or "&" (conjunction), "∨" or the lower-case letter "v" (disjunction), "→" or "->" (conditional), and "↔" or "<->" (biconditional). Unicode characters "¬", "∧", "∨", "→" and "↔" require JavaScript to be enabled in your browser

Examples: P -> ((Q -> R) & (~S v R)) (P -> Q) v (Q -> P) ~P -> (P -> Q)
(P -> Q) ↔ (Q -> P) ~~~P -> ~((Q & ~R) v (~Q -> R)) P-> ~Q

For more details on syntax, refer to Help on syntax.

You are visitor number 974248