SOLUTION: Use conditional proof: 1. S ⊃ (B ⊃ T) 2. N ⊃ (T ⊃ ∼B) / (S • N) ⊃ ∼B Use indirect proof: 1. (P ∨ F) ⊃ (A ∨ D) 2. A ⊃ (M • ∼P) 3. D â

Algebra ->  Proofs -> SOLUTION: Use conditional proof: 1. S ⊃ (B ⊃ T) 2. N ⊃ (T ⊃ ∼B) / (S • N) ⊃ ∼B Use indirect proof: 1. (P ∨ F) ⊃ (A ∨ D) 2. A ⊃ (M • ∼P) 3. D â      Log On


   

Question 1139589: Use conditional proof:

1. S ⊃ (B ⊃ T)
2. N ⊃ (T ⊃ ∼B) / (S • N) ⊃ ∼B
Use indirect proof:

1. (P ∨ F) ⊃ (A ∨ D)
2. A ⊃ (M • ∼P)
3. D ⊃ (C • ∼P) / ∼P
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!

I'll do the first problem to get you started. In place of the horseshoe symbol, I will use an arrow. Also, instead of a dot symbol, I will use an ampersand.

So something like (S • N) ⊃ ∼B would be written as (S & N) -> ~B

The derivation table would look something like this

In line 3 we assume the antecedent S & N. Based on that assumption, lines 3 through 11 point to ~B being the conclusion. In short, the assumption (S & N) concludes with ~B, which verifies the argument to be valid.