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 �

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) (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.

RELATED QUESTIONS
I know it's a lot, but I've got no where else to go. Please. > is an if/then symbol (answered by richwmiller)

Use natural deduction to derive the conclusion in each problem. Use conditional... (answered by math_tutor2020)

Indirect proof 9. 1) R 2) (~ C v ~ D) v S 3) ~ (C ⋅ D) ⊃ ~R / ∴ S (answered by solver91311)

Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by math_helper)

Use an ordinary proof (not conditional or indirect proof): 1. K∨(S • N) 2.... (answered by Edwin McCravy,jim_thompson5910)

Use conditional proof: 1. N ⊃ (F • A) 2. B ⊃ (R • F) / (N ∨ B) ⊃ (A... (answered by Edwin McCravy,jim_thompson5910)

Complete the following proofs using the Conditional Proof method. 1) 1. ~(P ∙... (answered by solver91311)

i need help solving this indirect proof 1. (R v S) > (H & ~G) 2. (K v R) > (G v ~H) (answered by Edwin McCravy)

Use an ordinary proof (not conditional or indirect) to solve the following arguments... (answered by RBryant,Edwin McCravy,math_tutor2020)