4.   R v X           1, DI   (Disjunction Introduction, or "Addition":  if A then certainly "A or B" is also true)

5.  ~(~R • ~X)       4, DeM  (DeMorgan's:  a v b  <==> ~(~a • ~b))

6.  ~K               5,2 MT  (Modus Tollens)

7.  J v Z            6,3 DS  (Disjunctive Syllogism)  

8.  Z v J            7  COMM  (Commutation:  A v B  <==> B v A)



 

RELATED QUESTIONS

1. A > B
2. C > D
3. K > (A v C)
4.  J v K
5.  J > Z
6.  W & ~Z   / B v... (answered by jim_thompson5910)

I am trying to work on the following proof. I know I used DEM incorrectly on line 3. I... (answered by jim_thompson5910)

hey can you help me with these proofs? 

1. ~(J & K)                 prem
2. ~(L & M)   (answered by solver91311,jim_thompson5910)

1. H > (M > E) 
2. ~[(M > H) > E] 
3. (I + O) > [M + (X = P)] 
4. [(K v B) > ~M] > (~I  (answered by CPhill)

Hi there, I'd love some help on answering these Logic Proof Questions: 

1.
1. T >  O
 (answered by math_tutor2020)

Very lost, can somebody please help me finish this proof?

1. (N > K) & (S > L)
2.(N >  (answered by jim_thompson5910)

Prove this with steps please

1 [(A v ~B) v T]->(X->M)
2 (A v R)->(Z->O)
3 A&(X v Z)
 (answered by Edwin McCravy)

Example:
1.	A
2.	A>B	/ B
3.	B	1,2 MP		←You add this line


1.	G > H
2.	~H	/... (answered by ikleyn)

 In Mathylvania, license plates have two letters followed by four numbers.  However, the... (answered by checkley79)