1) Universal Instantiation, if x is a man, then x is not an island” and “If Manhattan is a man, then Manhattan is not an island.”
2) Contrapositive, If Manhattan is an island, then Manhattan is not a man.”
3) Applying modus ponens or modus tollens. We derive the result that Manhattan is not a man.
