Fix and rephrase: 2.3.9, 2.3.41, 3.1.5, 3.1.21-23#44
Conversation
| T & T & T & F & F & T & F & T & T \\ | ||
| \hline | ||
| T & T & F & F & T & T & F & T & T \\ | ||
| T & T & F & F & \color{cyan} T & T & \color{cyan} T & \color{cyan} T & \color{cyan} T \\ |
There was a problem hiding this comment.
Yep, second line is critical, not first.
| \begin{tabular}{rrll} | ||
| (1) & & $p \to t$ & by premise (d) \\ | ||
| & & ${\sim p}$ & by premise (c) \\ & $\therefore$ & ${\sim p}$ & by modus tollens \\ | ||
| & & ${\sim t}$ & by premise (c) \\ & $\therefore$ & ${\sim p}$ & by modus tollens \\ |
|
|
||
| \begin{proof} | ||
| The truth set is $\{-2, -1, 0, 1, 2\}$. | ||
| The truth set is $\{-2, -1, 1, 2\}$. |
There was a problem hiding this comment.
Right, 0 does not satisfy inequality.
|
|
||
| \begin{proof} | ||
| $f$ is not differentiable, for some continuous function $f$. | ||
| $f$ is not differentiable for some continuous function $f$. |
There was a problem hiding this comment.
Yeah I tend to over-comma, English is my second language.
|
|
||
| \begin{proof} | ||
| $\fa x$, if $x$ is a Java program, then $x$ has at least 5 lines. | ||
| $\fa$ program $x$, if $x$ is written in Java, then $x$ has at least 5 lines. |
There was a problem hiding this comment.
Makes sense, I didn't pay enough attention to the underlined placeholder in "for all ____ x".
| $\fa x$ if $x$ is an equilateral triangle, then $x$ is isosceles. | ||
|
|
||
| $\fa$ equilateral triangles $x$, $x$ is isosceles. | ||
| $\fa x$, if $x$ is an equilateral triangle, then $x$ is isosceles. |
There was a problem hiding this comment.
Right, I guess I did the opposite thing in this and the previous ones! 😄
| $\fa x$ if $x$ is a computer science student, then $x$ needs to take data structures. | ||
|
|
||
| $\fa$ computer science students $x$, $x$ needs to take data structures. | ||
| $\fa x$, if $x$ is a computer science student, then $x$ needs to take data structures. |
|
No problem, and thank you for the merge. However, the build failed at (And Happy New Year btw!) |
No, this is a recurring permission bug with Github, only happens on Release. I'll manually create a release now. |
|
Happy New Year and thanks! 🎄 |
2 participants
After I opened those discussions (each linked below), I thought I might as well just try and fix them myself.
I don't know anything about TeX, but editing the preexisting file was simple enough. (I hope I didn't break anything...) Still, I'm only studying these topics at the moment, so please check if my fixes are actually correct.
I applied the modifications mentioned in the following discussions, in chronological order, one commit at a time: