Logic - Sentential Derivation

[Jess]

If anyone is good at logic, can I get help on sentential derivation? It's so confusing.

Construct derivations that establish the following derivability claims.

1. {M ↔ P, ¬P} ⊢ ¬M

So I know how to set it up, how to start it, but I don't know what to write after line 2, which ends the "assumptions". How do I use Biconditional elimination in this? I sorta have an idea how to get ¬M but the process is confusing.

[Jess]

can anyone help? or at least give me links that would be really helpful? the book doesn't help much :/

[Emerald Dream]

http://philosophy.hku.hk/think/sl/

Not sure if that helps, but it has a lot of info. Not looking forward to advanced logic at all, as much as I love math.

[Jess]

Thanks.

Yeah, it's pretty confusing. Near the beginning it's not too bad, but this derivation stuff is so confusing. Predicate Logic seems okay so far - that's what we're learning now...