×

Information

---

Functionality

Check Validity

Checks whether the argument entered is valid. Validity is defined as follows for an argument with premises P and conclusion c:

---

Specifications

• English only
• Propositional Logic only
• An overview of all supported operators and their translation into natural language can be found here.

×

Operators

The following operators can be used. You should always stick to the exact wording suggestions provided. Otherwise it is likely, that the tool will not correctly interpret the argument and return false results.

Logical Expression	Text Representation
\( x \)	"x."
\( x \land y \)	"x and y."
\( x \lor y \)	"x or y."
\( x \rightarrow y \)	"If x, then y."
\( x \oplus y \)	"Either x or y."
\( x \leftrightarrow y \)	"x iff y."

Back to previous page