×
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:
Valid iff necessarily: \( (\bigwedge_{p \in \text{P}} p) \rightarrow c \)
Check Plausibility
Checks whether each individual premise is plausible and gives a reason if this is not the case.
Validify
Provides suggestions for improving invalid arguments that would make them valid.
Specifications
- English only
- Propositional Logic only
- An overview of all supported operators and their translation into natural language can be found here.