Problem $5$

Complete the following derivation using the following selection of derived rules only $($none of the basic rules!$)$: DNE, DNI, Comm&$,$ CommV, DeM, DSL$,$ DSR$,$ MT$,$ Trans, HS$,$ Def $$ E$,$ and Def $$ I

$\backslash$table$[[1.,(AB),$Premise$],[2.,(notQ$notP$),$Premise$],[3.,$notQ,Premise$],[4.,(Pvv(S$&$T)),$Premise$],[,$vdots,$],[$n$.,(T$&$S),$Goal$]]$

Launch this problem