For this question, you will need to complete the question on paper $($using pen or pencil$)$ and then upload the work to Canvas $$ photo or scan is fine. It does not have to be a perfect picture$/$scan$,$ but it must be readable.

Using any of the SL rules from OLI's Logic Lab, construct a full SL derivation for the argument below.

From the premise$($s$)$:

$(($S v C$)->$ R$)$

$(($S v C$)$ v $($L v N$))$

$($R & K$)$

$($L $->$ C$)$

Derive:

$($R v $$N$)$

For the special logical symbols use:

~ for

$>$ for

$<>$ for

$+$ for

$($falsum$)$

$=,$ v$,$ and & are on the normal keyboard layout

Available Rules:

&I &EL &ER

vIL vIR vE

$->$I $->$E

$$I $$EL $$ER

$$I

I $$E

E

Comm& Commv

DeM

DSL DSR

DNI DNE

Def$->$I Def$->$E

HS MT Trans