proof by contradiction

to infer that a conclusion $\text{[math]}$ from a set of assumptions $\text{[math]}$ we can add $\text{[math]}$ as an assumption to the set to prove that $\text{[math]}$ are inconsistent

prove $\text{[math]}$ using the assumption $\text{[math]}$
$\text{[math]}$