W W L CHEN
W W L Chen, 1982, 2008.
This chapter originates from material used by the author at Imperial College, University of London, between 1981 and 1990.
It is available free to all individuals, on the understanding that it is not to be used for ﬁnancial gain,
and may be downloaded and/or photocopied, with or without permission from the author.
However, this document may not be kept on any information storage and retrieval system without permission
from the author, unless such system is not accessible to any individuals other than its owners.
LOGIC AND SETS
In this section, we look at sentences, their truth or falsity, and ways of combining or connecting sentences
to produce new sentences.
A sentence (or proposition) is an expression which is either true or false. The sentence “2 + 2 = 4” is
true, while the sentence “
is rational” is false. It is, however, not the task of logic to decide whether
any particular sentence is true or false. In fact, there are many sentences whose truth or falsity nobody
has yet managed to establish; for example, the famous Goldbach conjecture that “every even number
greater than 2 is a sum of two primes”.
There is a defect in our deﬁnition. It is sometimes very diﬃcult, under our deﬁnition, to determine
whether or not a given expression is a sentence. Consider, for example, the expression “I am telling a
lie”; am I?
Since there are expressions which are sentences under our deﬁnition, we proceed to discuss ways of
connecting sentences to form new sentences.
(CONJUNCTION) We say that the sentence
) is true if the two sentences
are both true, and is false otherwise.
The sentence “2 + 2 = 4 and 2 + 3 = 5” is true.
The sentence “2 + 2 = 4 and
is rational” is false.
Chapter 1 : Logic and Sets
page 1 of 9