6 reputation
3
bio website
location Portland, OR
age 24
visits member for 2 years, 10 months
seen Feb 25 '13 at 18:50

Currently traveling the world and studying c++ at Portland State University.


Sep
24
awarded  Autobiographer
Apr
18
comment Where is my mistake in this proof? $(A \lor B) \land (A \rightarrow C) \lor (B \rightarrow D) \rightarrow (C \lor D)$
I see, yes according to the book $\land$ is done before $\lor$ which is done before $\to$. However, I can't find where in the 4th line I mixed up the order, could you elaborate?
Apr
18
awarded  Student
Apr
18
awarded  Editor
Apr
18
revised Where is my mistake in this proof? $(A \lor B) \land (A \rightarrow C) \lor (B \rightarrow D) \rightarrow (C \lor D)$
forgot a \equiv or two
Apr
18
comment Where is my mistake in this proof? $(A \lor B) \land (A \rightarrow C) \lor (B \rightarrow D) \rightarrow (C \lor D)$
Thanks Johannes, so it was a contingency after all! And yes, ~~~~~~ was a placeholder since I didn't know how to put it in a nice, separated format. As for the priority, that's exactly how the problem is formatted, and I just followed the order of operations, did I miss something?
Apr
18
asked Where is my mistake in this proof? $(A \lor B) \land (A \rightarrow C) \lor (B \rightarrow D) \rightarrow (C \lor D)$