meta user
network profile
| bio | website | |
|---|---|---|
| location | Portland, OR | |
| age | 22 | |
| visits | member for | 1 year, 4 months |
| seen | Feb 25 at 18:50 | |
| stats | profile views | 5 |
Currently traveling the world and studying c++ at Portland State University.
|
May 28 |
comment |
Find the number of premises required for a proof of the following wff $(A\to(B\to(C\to D)))$ As far as what premise means, it's not defined in the question. In the text book it appears that a premise is anything which we assume to be true. The text is Discrete Structures Logic and Computability, chapter 6, by Hein. |
|
May 26 |
comment |
Find the number of premises required for a proof of the following wff $(A\to(B\to(C\to D)))$ So use the whole thing as a premise, of course! Thank you : ) |
|
May 26 |
comment |
Find the number of premises required for a proof of the following wff $(A\to(B\to(C\to D)))$ I suppose so. It seemed almost like a trick question, as no context was given. The chapter was on CNF, DNF and various axioms though. Thank you for your suggestion Marc. |
|
May 26 |
comment |
Find the number of premises required for a proof of the following wff $(A\to(B\to(C\to D)))$ Thanks for the edit, I wasn't sure if posting TeX in the title worked the same way. |
|
May 26 |
asked | Find the number of premises required for a proof of the following wff $(A\to(B\to(C\to D)))$ |
|
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)$ |
