Why is implication truth table defined this way? I have read  but it does not honestly answer why the implication truth table is defined the way above? Suppose human kind has not yet made a logical system and you are the first one making one, why would you define the implication truth table the way above? I don't have problem with the way operations AND, OR are defined but with implication it is not clear. What if the implication table was not defined the way above? Why we have rows like $p=F$ and $q=F$ but the implication is vacuously true?  In addition, are there any resources out there explaining how one would go about making a logical system? Is logical system that we use(here boolean logic) unique?
In classical logic, why is $(p\Rightarrow q)$ True if both $p$ and $q$ are False? I am studying entailment in classical first-order logic.  The Truth Table we have been presented with for the statement $(p \Rightarrow q)\;$ (a.k.a. '$p$ implies $q$') is: $$\begin{array}{|c|c|c|} \hline p&amp;q&amp;p\Rightarrow q\\ \hline T&amp;T&amp;T\\ T&amp;F&amp;F\\ F&amp;T&amp;T\\ F&amp;F&amp;T\\\hline \end{array}$$  I 'get' lines 1, 2, and 3, but I do not understand line 4.      Why is the statement $(p \Rightarrow q)$ True if both p and q are False?  We have also been told that $(p \Rightarrow q)$ is logically equivalent to $(~p || q)$ (that is $\lnot p \lor q$).  Stemming from my lack of understanding of line 4 of the Truth Table, I do not understand why this equivalence is accurate.       Administrative note. You may experience being directed here even though your question was actually about line 3 of the truth table instead. In that case, see the companion question  And even if your original worry was about line 4, it might be useful to skim the other question anyway; many of the answers to either question attempt to explain both lines.
How to install Ubuntu on a laptop with Windows 10 I want to install Ubuntu and remove Windows 10 , but when you restart the PC does not read the Ubuntu installer that is on a bootable USB. What are good initial weights in a neural network? What's the difference between mobile and desktop processors? How can I keep a folder synchronized to an external USB hard drive? I have a growing music collection which I manually keep in sync with an external USB drive. Sometimes I edit their ID3 tags, add or delete a file in either the hard drive or the USB drive, and I would like to keep those changes synchronized between both.  Does Ubuntu has something available that would help me with this scenario? Preferably something easy to use with a UI.  Update: To clarify my question, changes may happen on both the local hard drive or the USB drive, so the sync process must be on both directions. I was wondering if there were any two integers $a$ and $b$ where $a^3=b^2$. "Failed to download repository information" error What to do when OP answers his/her own question in an edit? Reference question:   Sometimes users solve their own questions, which is great. Sometimes they say they've solved it and move on, which is not so great. The above question is middle-ground: the user posted an answer to his own question, but as an edit to the question instead of as a real answer.  Should any action be taken in such a case? The obvious solution is to copy the edit into a real answer. But is this the right solution? In this case, the answer is a little hidden and there are no other answers, so it appears on the unanswered list.     Related: When your body burns calories and you lose weight, obviously mass is leaving your body.  In what form does it leave?  In other words, what is the physical process by which the body loses weight when it burns its fuel?    Somebody said it leaves the body in the form of heat but I knew this is wrong, since heat is simply the internal kinetic energy of a lump of matter and doesn't have anything do with mass.  Obviously the chemical reactions going on in the body cause it to produce heat, but this alone won't reduce its mass. Find the eigenvalues and eigenvectors with zeroes on the diagonal and ones everywhere else. I have been working on this problem for a couple hours and am completely stuck. Any help would be greatly appreciated.  Let $A$ be the $n \times n$ matrix which has zeros on the main diagonal and ones everywhere else. Find the eigenvalues and eigenvectors of $A$. How to get WordPress' hooks/actions run sequence? In what order add_action hooks execute? i.e. init wp_head wp_footer after_theme_setup  etc... ??? ??? ???     EDIT: I've also posted my solution. This question is a possibly harder version of: .  Question.  Let $f,g :\mathbb R\to\mathbb R$, such that \begin{align} f(x-y)=f(x)\, g(y)-f(y)\, g(x), \tag{1}\\ g(x-y)=g(x)\, g(y)+f(x)\, f(y), \tag{2} \end{align} for all $x,y \in \mathbb{R} $. If $g$ is continuous at $x=0$ and not identically zero, then there exists an $\alpha\in\mathbb R$, such  $$ f(x)=\sin \alpha x\quad\text{and}\quad g(x)=\cos \alpha x. $$ Is there a pair of discontinuous $f$ and $g$ satisfying $(1)$ and $(2)$?  Update. If $\ell :\mathbb R\to\mathbb R$ is a linear functional over $\mathbb Q$ (i.e., $\ell(qx+ry)=q\ell(x)+r\ell(y)$, for all $x,y\in\mathbb R$ and $q,r\in\mathbb Q$), then $$ \sin\big(\ell(x)\big), \quad \cos\big(\ell(x)\big), $$ satisfy $(1)$ and $(2)$. Discontinuous such functionals do exist, and they are obtainable using Zorn's Lemma (equivalently the Axiom of Choice.) This takes care of the second question. I'm a teacher and I teach at/in school OR at/in a school There are a lot of posts on this topic, but I can't find any answers to my question.  I came across the following two definitions of 'school':        [uncountable] (used without the or a) the process of learning in a   school; the time during your life when you go to a school (British   English)   [uncountable] (used without the or a) the time during the day when   children are working in a school      Source:   I know there are better ways to convey the message, but which sentence would a teacher utter if he was a school teacher teaching students, adults, etc.? What about a janitor, director, and secretary?     I teach at/in school OR I teach at/in a school   The above definitions concern students, and not working individuals like teachers or janitors.  I would appreciate if you also stated whether you're American, Canadian, British, etc. Who is bound to the Prime Directive? If $u$ is harmonic and bounded in $0 < |z| < \rho$, show that the origin is a removable singularity This is a reworking of a previous question  which was marked as a duplicate. Some nice folks have referred me to solutions to similar problems. I still have a couple of questions, since one of the solutions used the Poisson kernel, which is not the desired solution in the text, because the Poisson kernel has not been introduced yet. The other solutions were for problems that were similar, but whose solutions were only partially applicable, as I understand them.  I'm working on a problem from p. 166 of Lars Ahlfors' Complex Analysis:     If $u$ is harmonic and bounded in $0 &lt; |z| &lt; \rho$, show that the origin is a removable singularity in the sense that $u$ becomes harmonic in $|z|&lt;\rho$ when $u(0)$ is properly defined.   My Solution So Far:   Here's what I've got for a non-Poisson kernel solution: We want to find a harmonic conjugate for $u$ in the punctured disk, and then we can apply big Picard to show that $0$ is a removable singularity. The problem is that the punctured disc is not simply connected.   If we take $\sigma = (u \circ \exp)(z): L \to \mathbb{C}$, where $L$ is the left half-plane, now we have $\sigma$ harmonic, and defined in a simply connected set $L$, so it has a harmonic conjugate $\tau$. Now we wish to take $v = (\tau \circ \log):\{0 &lt; |z| &lt; \rho\}\to \mathbb{C}$, but in order to do so we need $\tau$ to be $2\pi i$-periodic. This is where my proof breaks down.  One of the similar problems which readers referred me to used the following strategy: note that since $\sigma$ is $2\pi i$-periodic, and $\sigma, \tau$ satisfy the Cauchy-Riemann equations, we have that $\nabla\tau(z) = \nabla\tau(z + 2 \pi i)$ for all $z\in L$, or in other words, $\tau(z) - \tau(z+2\pi i)$ is a constant function, say, equal to $\alpha \in \mathbb{R}$. Then, the solution suggests, we can set $$g(z) = u + iv - \frac{c}{2\pi}z,$$  in order to make $g$ $2\pi i$-periodic, and then we can use $(g\circ \log)$ on $\{0 &lt; |z| &lt; \rho\}$. But the reason why this won't work for my purposes is: now we have changed $u$! On the other hand, we can't simply subtract $\frac{c}{2\pi}\Im{(z)}$, and try to leave $u$ untouched, because now $g$ is not analytic. How can we get around this?  Another strategy entirely might be to try to use the mean-value property. Ahlfors discusses that a lot in the preceding section, and his main example is the punctured disc. Since $u$ is harmonic, we know that the average over circles centered at zero is a constant... Inconsistent line spacing Name of mean absolute error analogue to Brier score? Yesterday's question  got me curious about probability scoring. The  $$\frac{1}{N}\sum\limits _{i=1}^{N}(\text{prediction}_i - \text{reference}_i)^2$$ is a mean squared error measure. Does the analogous mean absolute error performance measure $$\frac{1}{N}\sum\limits _{i=1}^{N}|\text{prediction}_i - \text{reference}_i|$$ have a name, too? What control type should I use - Image, MediaElement, etc.? What are some uses of template template parameters? I've seen some examples of C++ using template template parameters (that is templates which take templates as parameters) to do policy-based class design. What other uses does this technique have? Novel about interstellar war: Both sides win, both sides think they lost A Basic Question about Gravity, Inertia or Momentum or something along those lines Why is it that if I'm sitting on a seat on a bus or train and its moving quite fast, I am able to throw something in the air and easily catch it? Why is it that I haven't moved 'past' the thing during the time its travelling up and down?