Mathematics is concerned with a lot more than arithmetic and computation. Beyond the most basic levels, a mathematician will profit greatly from being aware of this type of epistemological vocabulary and a strong sense of their underlying meaning. Whether reading or writing mathematics, we're constantly dealing with propositions, and correctly taxonomising those propositions can really help keep your mental workspace clean.

I do question the effectiveness (and accuracy) of this exercise, but its learning objectives I think are quite apt.