Hvilke slutningsregler brukes i dette beviset?
Svar for eksempel slik som dette: $\land$E.

Kopiér symbolene du trenger herfra:
$\land$ $\lor$ $\imp$ $\bot$

a)
b)
c)