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 - The Fusion of Science and Community**

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!

# SD Logics Help

Loading...

Similar Threads - Logics Help | Date |
---|---|

Need help regarding prerequisites for studying Quine's 'From a logical point of View' | May 5, 2012 |

Symbolic logic help (proofs) | Oct 17, 2010 |

Difficult logic series. Please help! | Oct 6, 2009 |

Having trouble with Logic Derivation - please help | Dec 9, 2008 |

**Physics Forums - The Fusion of Science and Community**