contraposition

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

카테고리: