My teacher threw us a couple of questions on SD that I know hardly anything about. The first one one to come up with correct answers receives an additional 10% on our next paper. I would really like to answer them all myself, but I don't have the information about SD to do them as I have never taken a Phil course regarding Logics. So please, if anyone could solve these for me, that would be wicked.(adsbygoogle = window.adsbygoogle || []).push({});

Legend: >=horeshoe = is triplebar

1. Prove that the following derivability claim holds in SD.

{(t > a) & (~t > b), a > ~l} deriviation: l > b

2. SHow that the following set of sentences is inconsistent in SD.

{(a v ~c) > ~b), ~b = (q & ~q), ~c v a}

3. Show that the members of the following pair of sentences are equivalent in SD.

a = b ~a = ~b

4. Show that the following argument is valid in SD.

(b & (e v g))

(b & g) = h

(h > f) & ~e

____________

c > f

Thanks guys/girls.

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Need Some Help with SD

**Physics Forums | Science Articles, Homework Help, Discussion**