For Each of the Following Questions, Determine Whether the Given $\lor$

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.
-∼{[(H ⊃ I) ⊃ ∼(I $\lor$ ∼J)] ⊃ (∼H ⊃ J)}