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
Algebra ->
Proofs
-> 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
Log On
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
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
(