×
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. May take more time.
Validify
Provides suggestions for improving invalid arguments that would make them valid. May take more time. Plausibility is not calculated for longer fixes for runtime reasons.
Specifications
- English only
- Propositional Logic only
- An overview of all supported operators and their translation into natural language can be found here.