Week 1 - Introduction To Logic 3
Week 1 - Introduction To Logic 3
Introduction to Logic
Akudo Ijezie
2
Objectives
At the end of this session, students should be able to:
Understand what simple statements are,
Express statements in Symbolic Form and vice versa,
Identify and understand the function of logical
connectors,
String simple statements so as to construct compound
statements,
Prepare truth tables,
Examine statement patterns.
3
Examples of statements:
Example:
Assign truth values to the following statements:
1.
2. Tomorrow is a holiday.
3. His name is Emeka.
4. The Sun rises in the west.
5. The sum of angles in a triangle is .
6. The square of a real number is negative.
8
Compound statements
This is the new statement formed by
combining two or more simple statements by
using logical connectors.
For example: p: Today is Monday
q: I love mathematics
These two statements can be joined by using
the logical connector ‘and’ as shown below:
Today is Monday and I love mathematics.
9
There are four basic ways to start with one or more statements and
use them to make a more elaborate compound statement.
The words or group of words such as “and, or, if …. then, if and only if,
not” are used to join or connect two or more simple sentences.
These connecting words are called logical connectors.
Negation (not)
Example
Negate the following statements and present its truth
table.
I understand Spanish.
I love eating apples.
Solution
Conjunction (and)
This logical connector connects statements
using ‘and’ .
Disjunction (or)
The connector ‘or’ is used to connect two
statements.
Examples
Given the following statements, create a
compound statement using or.
i. Milk is white.
ii. Grass is green.
The truth table can be given as:
16
Exercise
Write the truth values of following statements.
i. 3 is a rational number or 3 + i is a complex number.
ii. Jupiter is a planet and Mars is a star.
iii. Moscow is in Russia or London is in France.
Write negations of the following statements:
iv. Rome is in Italy.
v. 5 + 5 = 10
vi. 3 is greater than 4.
vii. It is not true that fuel is scarce.
Express the following statements in symbolic form:
viii. Mango is a fruit but potato is a vegetable.
ix. Either we play football or go for cycling.
x. I like playing but not singing.
xi. James and John are twins.
17
Conditional (if…then)
A conditional statement is a statement of the
form “if p, then q” or “p implies q”.
For example:
Let p : Smith is intelligent.
q : Smith will join Medical.
i. : If Smith joins Medical then she is
intelligent.
ii. : If Smith is not intelligent then she will not
join Medical.
iii. : If Smith does not join Medical then she is
not intelligent.
21
T T T F F T T T
T F F F T T F T
F T T T F F T F
F F T T T T T T
Exercise
Given the conditional statement:
“If it is basketball, then it is a sport.”
Identify the inverse, converse, and contrapositive of a given statement.
Identify the truth value of each statement above.
Answer:
1) The inverse is: ‘if it is not basketball, then it is not a sport’. The converse
becomes: ‘if it is a sport, then it is basketball’. The contrapositive is: ‘if it is
not a sport, then it is not basketball’.
To assign truth values to the statements, note that by merging the original
statement into one, we can state that ‘basketball is a sport’. Hence, the
inverse holding true would assume that basketball is the only sport which
is not true, as there are other sports aside from basketball. Thus, the truth
value is FALSE. Again, this is played out in a similar fashion for the
converse statement. All sports aren’t basketball. Thus, the truth value is
FALSE. Lastly, the since basketball is a sport, if it there was an activity that
wasn’t a sporting activity, then it wouldn’t be basketball. Thus, the truth
23
It is represented as “”.
Exercise
If p: It is daytime, q: It is warm
Give the compound statements in verbal form
denoted by
26
Statement Patterns
Let, p, q, r,… be simple statements. A
compound statement obtained from these
simple statements and by using one or more
connectives is called a statement pattern.
Note: the use of parentheses must be
introduced whenever necessary.
For instance: and are not the same.
If a statement pattern consists of ‘n’
statements and ‘m’ connectives, then truth
table consists of rows and columns.
27
Logical Equivalence
Two logical statements are said to be
equivalent if and only if the truth values in
their respective columns in the joint truth
table are identical.
For example, construct the truth tables for the
following: , ,
Exercises
Using truth tables examine whether the following
statement patterns are tautology, contradiction or
contingency.
i.
ii.
iii.