Proof by contradiction and contrapositive

Knowledge package outline

Topic

Mathematics and quantitative reasoning

Purpose

Provides distinct strategies for difficult implications.

Package contents

Integer proofs; false converses; argument maps.

Dependencies

Logic.