Hi, I'm taking a mathematical proofs class and I'm having trouble formatting my proofs correctly. We haven't done any proofs in class yet, but some simple proofs are due in this week's homework assignment. I've tried using the internet to help me, but all the hits that I get are very confusing.
(1) A v (B ^ C)
(2) B → D
(3) C → E
(4) D ^ E → A v C
(5) ~A (~ is the not symbol, I don't know how to type it and I don't see it on the quick symbols)
Then C is true.
The Attempt at a Solution
This seems like a really easy proof. Correct me if I'm wrong, but because you know that A is not true, (B ^ C) must be true. Thus, we have already proven that C is true. If this is the correct way to prove this, can someone please help me format it into a formal proof? Thanks.