All the following should be completed using SST (Systematic Semantic Tableaux). Label the reduction rules used. You may re-label universally-quantified (V) formulae to avoid re-writing them if you wish. 1. [10 points] Show 3xlp(x) A qx)] F 3xp(x) A 3xqx) All the following should be completed using SST (Systematic Semantic Tableaux). Label the reduction rules used. You may re-label universally-quantified (V) formulae to avoid re-writing them if you wish. 1. [10 points] Show 3xlp(x) A qx)] F 3xp(x) A 3xqx)