1. The problem statement, all variables and given/known data 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. 2. Relevant equations Suppose: (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. 3. 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.