A proof by contradiction is where we show $A \land \neg B$ is a contradiction in order to prove that $A \rightarrow B$.