... studying valid categorical syllogisms. Long story short, I've encountered some ... example, universal negative propositions (No S is P) can be diagrammed ... imply that P ---> ~S is a valid inference (contraposition ... . You can contrapose No S is P to infer that ...