Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
intuitionistic_propositional_logic [2016/04/13 11:20] nikolaj |
intuitionistic_propositional_logic [2016/08/28 01:17] nikolaj |
||
|---|---|---|---|
| Line 307: | Line 307: | ||
| In fact, take any $A,B$ and observe that | In fact, take any $A,B$ and observe that | ||
| - | $(A\to B)\land((A\to B)\to B)\to B$ | + | $((A\to B)\land((A\to B)\to B))\to B$ |
| "If it's the case that '$A$ implies $B$' and also that '$A$ implies $B$' implies $B$, then $B$ is the case." | "If it's the case that '$A$ implies $B$' and also that '$A$ implies $B$' implies $B$, then $B$ is the case." | ||
