For Each of the Following Questions, Determine Whether the Given

Short Answer

For each of the following questions, determine whether the given formulas is a wff or not. If it is a wff, indicate its main operator.
-[(R • S) ⊃ U] ⊃ {{∼U ⊃ [R ⊃ (S ⊃ T)]}