nce the overall aim of this problem is the wff S$,$ we'll eventually need to apply the rule MP to Line $4$ to produce our conclusion on the last line of this proof.

What wff would we need to produce first, in order to produce S from Line $4$ using MP$?$ In other words, what is the wff needed to use MP with Line $4?$

$1(1)($R $->($P $->$T$))$ A Aim:

S

$2(2)$ T A

$3(3)($R $->$T$)$ A

$4(4)(($P v M$)->$ S$)$ A

Remember $-$ Formatting will be important here! So$,$ enter your wff according to the following conventions:

Make sure you put no spaces between symbols.

Good Not Good!

Wffs: $($PvQ$)($ P v Q $),($P v Q$)$

Premises: $1,2,31,2,3$

Rules: $1,2$MP; $5$&E $1,2$ MP; $5$ &E

Use $\text{'}-\text{'}$ for the dash, a single minus sign.

Use $\text{'}$&$\text{'}$ for the ampersand.

Use $\text{'}$v$\text{'}$ for the wedge, a lower$-$case V$.$

Use $\text{'}->\text{'}$ for the arrow. Copy and paste the arrow from here, if you need it in your answer.

Use $\text{'}\text{'}$ for the contradiction symbol. Copy and paste the upside$-$down T from here.

Use $\text{'}\text{'}$ for the turnstile. Copy and paste it from here, if you need it in your answer.

Use $\text{'}$&I$\text{'},\text{'}$&E$\text{'},\text{'}$vI$\text{'},\text{'}$DN$\text{'},\text{'}$MP$\text{'},\text{'}$MT$\text{'},\text{'}$CP$\text{'},\text{'}$IP$\text{'},\text{'}$I$\text{'}$ for the rules.