Use the short method to determine whether the following argument (again presented in sequent form) is valid.If the argument is invalid, give the truth-functional interpretation that shows this.Note the conclusion is a biconditional.

P v Q , (R -> P)|=Q <-> [ T -> ( R v S)]