SOLUTION: I need help solving this. I'm confused. 1. (RvS)>(T&U) 2. ~R>(V>~V) 3. ~T /Therefore ~V

Algebra.Com
Question 243966: I need help solving this. I'm confused.
1. (RvS)>(T&U)
2. ~R>(V>~V)
3. ~T /Therefore ~V

Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
1.  (R v S) -> (T & U)
2.  ~R -> (V -> ~V)
3.  ~T                        /Therefore ~V
------------------------------------------
4.  ~T v ~U                             3         Addition
5.  ~(T & U)                            4         De Morgan's Law
6.  ~(R v S)                            1,5       Modus Tollens
7.  ~R & ~S                             6         De Morgan's Law
8.  ~R                                  7         Simplification
9.  V -> ~V                             2,8       Modus Ponens
10. ~V v ~V                             9         Material Implication
11. ~V                                  10        Tautology

RELATED QUESTIONS

 1. [J v (N & T)] 2.  ~(~T -> S)     /     J i need help solving this proof (answered by guest567)
I saw that people can solve logic proofs on this site. I've looked everywhere for help.... (answered by Edwin McCravy)
I need help solving this proof. P,QvR,~RvS,~Q |- P&S 1 (1) P A 2 (2) QvR A 3... (answered by jim_thompson5910)
Hi there, I'd love some help on answering these Logic Proof Questions: 1. 1. T > O (answered by math_tutor2020)
can i have help solving this proof please? Construct a regular proof to derive the... (answered by jim_thompson5910)
I need me solving a problem. v(t)= 4t^2-5t+2 / t+3 v(0)v(-2)v(7) (answered by Fombitz)
How do I solve these proofs? Number one 1.~B v[(C>D)&(E>D)] 2. B&(C v E)... (answered by jim_thompson5910)
3.(S v T) v (U v W), therefore, (U v T) v (S v... (answered by Edwin McCravy)
I need to solve using Transportation, Material Implication, Material Equivalence,... (answered by jim_thompson5910)