A compound predicate must be taken as a complete concept before it is complemented.
“Every cat is an animal” gives “Every nonanimal is a noncat.” If the predicate were “a person living in the city,” negating only “city” would not complement that whole predicate.
Logical transformation concerns complete meanings, not arbitrary fragments of wording.
Opening interactive controls...
Contraposition: Classical Rules, Validity and the Later Convention
A compound predicate must be taken as a complete concept before it is complemented.
“Every cat is an animal” gives “Every nonanimal is a noncat.” If the predicate were “a person living in the city,” negating only “city” would not complement that whole predicate.
Logical transformation concerns complete meanings, not arbitrary fragments of wording.