Does simply swapping antecedent and consequent always yield a valid converse?
Simple Conversion: Definition, Categorical Rules and Reductio
- Yes, for every conditional
- No; the truth of the reversed conditional must be established separately
- Only when the antecedent is long
- Yes, when no quantifier appears