Kay R.

asked • 04/25/21

Introduction to Logic

USE THE FIRST FOUR RULES OF INFERENCE TO DERIVE THE CONCLUSIONS OF THE FOLLOWING SYMBOLIZED ARGUMENTS.


EXAMPLES:


(1) 1. ∼C ⊃ (A ⊃ C) 

2. ∼C / ∼A 


3. A ⊃ C 1,2 MP

4. ∼A 2,3 MT


(2) 1. F ∨ (D ⊃ T) 

2. ∼F 

3. D / T


4. D ⊃ T 1,2 DS

5. T     3,4, MP


(3) 1. (K • B) ∨ (L ⊃ E) 

2. ∼(K • B) 

3. ∼E / ∼L


4. L ⊃ E      1,2 DS 

5. ~L         3,4 MT 


PLEASE COMPLETED THE PROBLEMS BELOW IN THE FORMAT SEEN IN EXAMPLES ABOVE:


(4) 1. P ⊃ (G ⊃ T) 

2. Q ⊃ (T ⊃ E)

3. P

4. Q / G ⊃ E 



(5) 1. ∼W ⊃ [∼W ⊃ (X ⊃ W)] 

2. ∼W / ∼X 


(6) 1. J ⊃ (K ⊃ L) 

2. L ∨ J 

3. ∼L / ∼K 


(7) 1. ∼S ⊃ D 

2. ∼S ∨ (∼D ⊃ K) 

3. ∼D / K 


(8) 1. A ⊃ (E ⊃ ∼F) 

2. H ∨ (∼F ⊃ M) 

3. A 

4. ∼H / E ⊃ M 


(9) 1. ∼G ⊃ (G ∨ ∼A) 

2. ∼A ⊃ (C ⊃ A) 

3. ∼G / ∼C 


(10) 1. N ⊃ (J ⊃ P) 

2. (J ⊃ P) ⊃ (N ⊃ J) 

3. N / P 


 (17) 1. H ∨ (Q ∨ F) 

2. R ∨ (Q ⊃ R) 

3. R ∨ ∼H 

4. ∼R / F 


(18) 1. ∼A ⊃ (B ⊃ ∼C) 

2. ∼D ⊃ (∼C ⊃ A) 

3. D ∨ ∼ A 

4. ∼D / ∼B


1 Expert Answer

By:

Still looking for help? Get the right answer, fast.

Ask a question for free

Get a free answer to a quick problem.
Most questions answered within 4 hours.

OR

Find an Online Tutor Now

Choose an expert and meet online. No packages or subscriptions, pay only for the time you need.