Assume

From CS2800 wiki

To prove "if [math]P [/math] then [math]Q [/math]", assume [math]P [/math] and then prove [math]Q [/math].