# Use either

From CS2800 wiki

If you have already proved (or assumed) and , you can conclude . You can also conclude .

If you have already proved (or assumed) [math]P
[/math] and [math]Q
[/math], you can conclude [math]P
[/math]. You can also conclude [math]Q
[/math].

- This page was last edited on 17 February 2018, at 18:36.