- #1
Kwiatkowski18
- 5
- 0
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.
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.
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.