contraposition

form of immediate inference in which a proposition is inferred from another

Kategorien: