Someone said, “If mathematics is regarded as a language, then logic is its grammar.” This is true and that’s why we have the course MATH1001/2012 — Fundamental concepts of mathematics. Here we start with an introductory remark on “logic”, serving as a warm-up and a preliminary.

**1. Statements**

A **statement** is a declarative sentence, conveying a definite meaning that may be *either* true *or* false but *not* both simultaneously.

**Example 1** * Which of the following is a statement? *

*
*
- Every HKU undergraduate student has a university number.
- There is a man who is over six feet tall.
- Linear algebra smells good.
- If there is life on Mars, then the postman delivers letters.
- This sentence is false.

* *

**Ans**.

Clearly, (1) and (2) are statements. Definitely (2) is a true statement. For (1), it is either true or false, although frankly I don’t know the answer because I haven’t checked through every student of HKU.

(3) is not a statement. (Does linear algebra have odor?)

(4) is a statement and it is a true statement, because the job of postman is to deliver letters. So no matter whether or not Mars has life, the conclusion is valid.

(5) is a bit more tricky — it is not a statement. The reason is that you cannot assign a true/false value to it. Why? Think about what it means if (5) is true — it says “this sentense, i.e. (5), is false”. So (5) is true and false at the same time! If (5) is false, that means “This sentence is false” is not valid. In other words, this sentence (5) is true. Again (5) is false and true simultaneously. That’ why we cannot give it a true/false value.

**Important Remark**

- TRUE means absolutely and completely true. There is no in-between stage. So
*there is no such thing as saying a statement is `somewhat true’ or `almost true’.*
- For some statements, you may pay careful attention to what member of a class the statement applies. For statement (1) of Example 1, a single exception will renders false. But for (2), I am shorter than six-feet (and I am a man). This fact of my height cannot conclude statement (2) is false. We call “for all/for every/for any” and “there exists/for some” quantifiers, which will arise often in our course.
- The truth value of a statement may depend upon the way it is interpreted. For example, “you are intelligent”. I would say that it is a true statement (because you take MATH1111), but you may say it is a false statement. (You are humble!) But in any case, once intelligence is clearly defined, then the statement must be declared as either completely true or false.

**2. Negation**

Negation turns a statement into another statement which will be opposite to the original one in terms of truth value. For example, “X is rich”. Its negation is “X is poor”. It sounds easy. Well, finish the example below.

**Example 2** * Write down the negation of each of the following statements. *

*
*
- Some men are rich.
- Every man is happy.
- There exists a man who is rich.
- Some unhappy men are rich.
- There is a happy man that all of his friends are unhappy.

* *

If you have finished, see answers below.

**Ans**.

- All men are poor. (I suppose the negation of rich (i.e. not rich) is the same as poor.)
- Some men are unhappy. (Think carefully if your answer is “Every man is unhappy” or “No man is happy”, which are not correct.)
- All men are poor. (Because “There exists a man who is rich” means the same as “Some men are rich”.)
- All unhappy men are poor. (The answer is not “All happy men are poor”, because for the given statement “Some unhappy men are rich”, we are considering the
*group of “unhappy men”* and the statement says that some members in this *group* are rich. So the negation is “All member in this *group* are poor”.)
- Every happy man has some happy friends. Alternatively, the negation can be stated as “For any happy man, there exists some friends of him who are happy.”

**3. Logical Implications**

Here I would not tell precisely what is a logical implication. Instead, let me introduce some notation and terminologies. We write “” when the statement implies (affirmatively) the statement “. What does “” tell? There are two important points:

- If is true, then is true.
- If is false, then is also false.

Let us look at an example.

**Example 3** * *

*
*
- ABC is a triangle degrees. (I think you know this fact. This is an example of point 1.)
- . (Refer to point 2. Hence we know is
*false*.)

* *

You may wonder how the deduction in (ii) comes up. Below is the details:

**Remark.** When the statement in “” is false, we **cannot** draw any conclusion on , i.e. may be true or not. For example,

(This is deduced by subtracting 2 on both sides of ) The consequence is of course a false statement. However,

(We have multiplied on both sides of .) Now the consequence is a true statement! So we don’t know the truth value of the conclusion from a false hypothesis.

There are other ways to phrase “ implies “:

- is a sufficient condition for .
- is a necessary condition for .
- only if .

**4. Final Remark**

Logic is, but not just confined to be, the *grammar* of MATHEMATICS. For more, you may browse the following website:

http://philosophy.hku.hk/think/logic/intro.php