SOLUTION: Hi there, I'd love some help on answering these Logic Proof Questions: 1. 1. T > O 2. R v ~O 3. ~R/~T 2. 1. (Q ~J) (M ~D) 2. Q M 3. M ~J/Q ~D 3. 1. T (Q

Question 1207462: Hi there, I'd love some help on answering these Logic Proof Questions:
1.
1. T > O
2. R v ~O
3. ~R/~T
2.
1. (Q ~J) (M ~D)
2. Q M
3. M ~J/Q ~D

3.
1. T (Q & F)
2. T & C/Q v O

4.
1. F ~U
2. ~F P
3. F v ~F/~U v P
5.
1. (J v F) v M
2. (J v M) ~P
3. ~F/~(F v P)
6.
1. (A> B) > (C & D)
2. C ~D/~A
7.
1. (A & B) C
2. B & ~C/~A
8.
1. A v B
2. A ≡ (C & D)
3. B

Answer by math_tutor2020(3816) (Show Source): You can put this solution on YOUR website!

I'll do the first problem to get you started.
Please post one question at a time. Also, please be careful to make sure that the problem appears exactly as shown in your textbook. Question 2 for instance looks like it's missing some symbols.

Number	Statement	Line(s) Used	Reason
1	T > O
2	R v ~O
3	~R
:.	~T
4	~O	2,3	Disjunctive Syllogism
5	~T	1,4	Modus Tollens

The Rules of Inference and Rules of Replacement are shown here

RELATED QUESTIONS
1. R v ~T 2. ~T>O 3. ~O :.... (answered by jim_thompson5910)

How do I solve these proofs? Number one 1.~B v[(C>D)&(E>D)] 2. B&(C v E)... (answered by jim_thompson5910)

I need help completing this proof for my deductive logic class? 1. (O . P)--> Q 2. (answered by jim_thompson5910)

can i have help solving these proofs a regular proof to derive the conclusion of the... (answered by jim_thompson5910)

Example: 1. A 2. A>B / B 3. B 1,2 MP ←You add this line 1. G > H 2. ~H /... (answered by ikleyn)

1. (N v M) > (P & O) 2. ~M > (~Q > Q) 3. ~O... (answered by jim_thompson5910)

P l e a s e h e l p m e s o l v e t h i s f i n d t h e c a p a c i t y i n l i... (answered by rothauserc)

I am having trouble solving the following propositional logic proofs. 1. Conclusion:... (answered by jim_thompson5910)

Hi could anyone help me with this proof? 1. V v H 2. ~(V & D) 3. ~(D & H) / (answered by jim_thompson5910)