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

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

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

# SD Logics Help

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