Logic Proofs, and other logic based questions

Question description

Use the Indirect (Short) Truth Table method to determine whether the following argument is valid or invalid.1. (R v S) -> T2. T -> [(S . L) v V]3. (L . ~S) v (R v ~S)4. ~R -> (V v ~T)  // R -> (L -> ~S)Use the Indirect (Short) Truth Table method to determine whether the following argument is valid or invalid.1. A -> (B . C)2. ~D v ~E3. D -> (A v F)4. F -> (C -> E)  // F v ~DCorrectly symbolize the following claim:If Art pays his tuition, he graduates, unless he doesn’t attend class.Correctly symbolize the following claim:If Art does not do well in either logic or philosophy, he doesn’t do well in all of his classes, but he still graduates.Correctly symbolize the following claim:Art does well in neither math nor philosophy, but he still graduates if he pays tuition and attends class.Correctly symbolize the following claim:Art does well in all his classes, but he doesn’t graduate unless he pays tuition and attends class.Solve the Following Proof in standard form (No IP or CP here).1. R -> (~A . T)2. B v ~S3. R v S  // A -> BSolve the Following Proof in standard form (No IP or CP here).1. (A . B) <-> C2. ~(C v ~A)  // ~BSolve the Following Proof in standard form (No IP or CP here).1. (A -> A) -> (~A -> ~A)  // A v ~ASolve the Following Proof in standard form (No IP or CP here).1. W <-> Y2. ~W v ~Y3. X -> (Y . Z)  //~XUsing Conditional or Indirect Proof, solve the following proof:1. B -> (K . M)2. (B . M) -> (P <->~P)  // ~BUsing Conditional or Indirect Proof, solve the following proof:1. C -> (D v ~E)2. E -> (D -> F)  // C -> (E -> F)Translate the following into logical syntax and solve the proof by whichever method you prefer (Standard, CP or IP).Either deposits should be required on beer and soft-drink containers, or these containers will be discarded along highways and the countryside will look like a dump.  If these containers will be discarded either in parks or along highways, then deposits should be