CornSmith
Reputation
Next privilege 125 Rep.
Vote down
3
Impact
~168 people reached

• 0 posts edited
• 0 helpful flags
• 0 votes cast

# 7 Actions

 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)$