1
Classes and Sets
1 BUILDING SENTENCES
Before introducing the basic notions of set theory, it will be useful to make certain observations on the use of language.
By a sentence we will mean a statement which, in a given context, is unambiguously either true or false. Thus
London is the capital of England.
Money grows on trees.
Snow is black.
are examples of sentences. We will use letters P, Q, R, S, etc., to denote sentences; used in this sense, P, for instance, is to be understood as asserting that âP is true.â
Sentences may be combined in various ways to form more complicated sentences. Often, the truth or falsity of the compound sentence is completely determined by the truth or falsity of its component parts. Thus, if P is a sentence, one of the simplest sentences we may form from P is the negation of P, denoted by ÂŹP (to be read ânot P â), which is understood to assert that âP is false.â Now if P is true, then, quite clearly, ÂŹP is false; and if P is false, then ÂŹP is true. It is convenient to display the relationship between ÂŹP and P in the following truth table,
where t and f denote the âtruth valuesâ, true and false.
Another simple operation on sentences is conjunction: if P and Q are sentences, the conjunction of P and Q, denoted by P ⧠Q (to be read âP and Qâ), is understood to assert that âP is true and Q is true.â It is intuitively clear that P ⧠Q is true if P and Q are both true, and false otherwise; thus, we have the following truth table.
The disjunction of P and Q, denoted by P âš Q (to be read âP or Qâ), is the sentence which asserts that âP is true, or Q is true, or P and Q are both true.â It is clear that P âš Q is false only if P and Q are both false.
An especially important operation on sentences is implication : if P and Q are sentences, then P â Q (to be read âP implies Qâ) asserts that âif P is true, then Q is true.â A word of caution: in ordinary usage, âif P is true, then Q is trueâ is understood to mean that there is a causal relationship between P and Q (as in âif John passes the course, then John can graduateâ). In mathematics, however, implication is always understood in the formal sense: P â Q is true except if P is true and Q is false. In other words, P â Q is defined by ...