Recent content by krob

Hi Mark. Thanks for responding, and also you're right I should have been clearer. So the first and only premise here is (~A\/(~B\/~C)). ⊢ is the symbol that concludes that whatever follows is the conclusion of the argument before it, hence (¬A ∨ (¬B ∨ ¬C)) ⊢ (((¬B ∨ ¬C) → (D ∧ ¬D)) → ¬A). PR is...

Hi, nice to meet you guys! I am an undergrad at USC and though I am not a physics major I take many classes the follow the concepts of physics. I hope to be able to help you all if needed.

I'm in undergrad and I unexpectedly began taking a discrete math class, everything was sunshine and rainbows until this chapter.... All in all, Below is the Natural deduction problem with its premise and intended conclusion and these are my steps. I can't see where I'm going wrong, any ideas...