DISCRETE MATH

LOGIC AND PROOFS

PROPOSITIONS
- is a statement that is either true or false, but not both.
All the following statements are propositions.
1. Washington, D.C., is the capital of the United States of America.
2. Toronto is the capital of Canada.
3. 1 + 1 = 2.
4. 2 + 2 = 3.
Propositions 1 and 3 are true, whereas 2 and 4 are false.
Some sentences that are not propositions are given in Example 2.
Consider the following sentences.
1. What time is it?
2. Read this carefully.
3. x + 1 = 2.
4. x + y = z.

Letters are used to denote propositions, just as letters are used to denote variables.

The conventional letters used for propositional variables are p,q,r,s,... .

The truth value of a proposition is true, denoted by T, if it is a true proposition, and
the truth value of a proposition is false, denoted by F, if it is a false proposition.
COMPOUND PROPOSITIONS
- new propositions formed from existing propositions using logical operators.
Definition1 NEGATION
Let p be a proposition. The negation of p, denoted by p (also denoted by p), is the
statement It is not the case that p. The proposition p is read not p. The truth value of
the negation of p, p, is the opposite of the truth value of p.

The negation of a proposition can also be considered the result of the operation of the
negation operator on a proposition. The negation operator constructs a new proposition
from a single existing proposition. We will now introduce the logical operators that are used
to form new propositions from two or more existing propositions. These logical operators
are also called connectives.
Prepared by: R. Gatdula

Page 1 of 6

DISCRETE MATH

LOGIC AND PROOFS

Definition2 CONJUNCTION
Let p and q be propositions. The conjunction of p and q, denoted by p q, is the proposition
p and q. The conjunction p q is true when both p and q are true and is false otherwise.

Definition3 DISJUNCTION
Let p and q be propositions. The disjunction of p and q, denoted by p q, is the proposition
p or q. The disjunction p q is false when both p and q are false and is true otherwise.

Definition4 EXCLUSIVE OR
Let p and q be propositions. The exclusive or of p and q, denoted by p q, is the
proposition that is true when exactly one of p and q is true and is false otherwise.

Prepared by: R. Gatdula

Page 2 of 6

DISCRETE MATH

LOGIC AND PROOFS

Definition5 IMPLICATION
Let p and q be propositions. The implication p q is the proposition if p, then q. The
conditional statement p q is false when p is true and q is false, and true otherwise. In this
implication p is called the hypothesis (or antecedent or premise) and q is called the conclusion
(or consequence).

Because implication arise in many mathematical reasoning a wide variety of terminology is

used to express p q. You will encounter most if not following ways to express this
conditional statement:
if p, then qp implies q
if p, qp only if q
p is sufcient for q a sufcient condition for q is p
q if pq whenever p
q when pq is necessary for p
a necessary condition for p is qq follows from p
q unless p

There are some related implications that can be formed from p q.

Direct Statement
pq
Converse
qp
Inverse
p q
Contrapositive
q p

Definition6 BICONDITIONAL
Let p and q be propositions. The biconditional statement p q is the proposition p if and
only if q. The biconditional statement p q is true when p and q have the same truth
values, and is false otherwise. Biconditional statements are also called bi-implications.

Prepared by: R. Gatdula

Page 3 of 6

DISCRETE MATH

LOGIC AND PROOFS

Truth Tables of Compound Propositions

We can use logical connectives to build up complicated compound propositions involving
any number of propositional variables. We can use truth tables to determine the truth values
of these compound propositions, as Example below illustrates.
Example: Construct the truth table of the compound proposition (p q) (p q).

Boolean Searches
Logical connectives are used extensively in searches of large collections of information, such
as indexes of Web pages. Because these searches employ techniques from propositional
logic, they are called Boolean searches.
Connective AND - to match records that contain both of two search terms
Connective OR - used to match one or both of two search terms
AND NOT - used to exclude a particular search term.

Logic and Bit Operations

Computers represent information using bits.
Bit
- is a symbol with two possible values, namely, 0 (zero) and 1 (one).
- comes from binary digit
- John Tukey introduced this terminology in 1946.
- A bit can be used to represent a truth value, 1 bit to represent true and a 0 bit to
represent false

Prepared by: R. Gatdula

Page 4 of 6

DISCRETE MATH

LOGIC AND PROOFS

Boolean variable variable values that are either true or false.

Computer bit operations correspond to the logical connectives.

By replacing true by a one and false by a zero in the truth tables for the operators , , and
, the tables shown in Table 9 for the corresponding bit operations are obtained. We will
also use the notation OR, AND, and XOR for the operators , , and , as is done in various
programming languages.

A bit string is a sequence of zero or more bits. The length of this string is the number of bits
in the string.
Example: 101010011 is a bit string of length nine.
bitwise OR -
bitwise AND -
bitwise XOR -
Example: Find the bitwise OR, bitwise AND, and bitwise XOR of the bit strings 01 1011 0110 and
11 0001 1101
Solution:

Prepared by: R. Gatdula

Page 5 of 6

DISCRETE MATH

LOGIC AND PROOFS

Logic Circuits
Propositional logic can be applied to the design of computer hardware. This was rst
observed in 1938 by Claude Shannon in his MIT masters thesis. In Chapter 12 we will study
this topic in depth. (See that chapter for a biography of Shannon.) We give a brief
introduction to this application here.
A logic circuit (or digital circuit) receives input signals p, each a bit [either 0 (off) or 1 (on)],
and produces output signals s1,s2,...,sn1,p2,...,pn, each a bit. In this section we will restrict
our attention to logic circuits with a single output signal; in general, digital circuits may have
multiple outputs.

Figure 1. Basic Logic Gates

Figure 2. A combinatorial circuit.

Complicated digital circuits can be constructed from three basic circuits, called gates, shown
in Figure 1. The inverter, orNOT gate, takes an input bit p, and produces as output p. The
OR gate takes two input signals p and q, each a bit, and produces as output the signal p q.
Finally, the AND gate takes two input signals p and q, each a bit, and produces as output the
signal p q. We use combinations of these three basic gates to build more complicated
circuits, such as that shown in Figure 2.

Prepared by: R. Gatdula

Page 6 of 6