The textbook's illustration uses a horse, which is an animal but is not human. Its logically fitting transformed result is:
Original: Some animals are not human.
Contrapositive: Some nonhumans are not nonanimals.
The printed line appears to omit the negating element on the transformed subject. The accompanying horse example and the stated rule require “nonhuman.” This is an interpretive correction, not a silent change to the quoted text.
Opening interactive controls...
Contraposition: Classical Rules, Validity and the Later Convention
The textbook's illustration uses a horse, which is an animal but is not human. Its logically fitting transformed result is:
Original: Some animals are not human.
Contrapositive: Some nonhumans are not nonanimals.
The printed line appears to omit the negating element on the transformed subject. The accompanying horse example and the stated rule require “nonhuman.” This is an interpretive correction, not a silent change to the quoted text.