What ensures validity for “Some birds are not predatory”?

Contraposition: Classical Rules, Validity and the Later Convention

• All birds being predatory
• No predatory birds existing
• The same existing non-predatory bird witnesses the result
• Every non-predatory thing being a bird