What suffices to reject a combined modal claim “both necessary and permanent”?
Contradiction: Definition, Conditions and Application to Propositions
- Both components must be false
- Both components must be true
- Check neither component
- Failure of at least one required component