Prove the following in SD+ #1

Subject:PhilosophyPrice:5.86 Bought11

Share With

Prove the following in SD+

#1. 

1. R ⊃ (~A & T)

2. B ∨ ~S

3. R ∨ ~S  / A ⊃ B

#2. 

(A ⊃ A) ⊃ (~A & ~A) / A ∨ ~A

#3.

1. A ∨ B

2. C

3. (A & C) ⊃ D / D ∨ B

#4. 

[(A ∨ B) & (D & F)] ∨ [(A ∨ B) & C] / C ∨ F

#5 Show that the following pair of sentence is equivalent in SD+

 (A & B) ∨ [(C & D) ∨ A]

([(C ∨ A) & (C ∨ B)] & [(D ∨ A) & (D ∨ B)]) ∨ A