Squares of opposition
The traditional Aristotelian square of opposition is like that of first-order logic apart from existential import: For quantifiers (or other operators) there is a duality square: Outer negation is negation of the whole quantifier; inner negation is negation within the quantifier. For rates the inverse (reciprocal) acts like a negation: Outer inverse is the inverse …