Mathematics and Symbolic Logic (Students Material & Assignment)
Mathematics and Symbolic Logic (Students Material & Assignment)
MODULE 1
CONTENTS
1.0 Introduction
2.0 Objectives
3.0 Main Content
3.1 Definition
3.2 Some objectives of Symbolic Logical reasoning
3.3 Definition of Basic Logical Terms
3.4 Connectives
3.5 Tautology and Contradiction
3.6 An Argument
3.7 Algebra of Propositions
3.8 Conjunction (p q)
3.9 Disjunction (p q)
3.10 Negation
3.10.1 Conditional (p q)
3.10.2 Bi-conditional (p q)
3.10.3 Laws of Algebra of Proposition
3.10.4 Converse/Inverse and Contra-positive Statements
4.0 Conclusion
5.0 Summary
6.0 Tutor-Marked Assignment
7.0 References/Further Readings
1.0 INTRODUCTION
1
MATHEMATICS FOR MANAGEMENT SCIENCES I
2.0 OBJECTIVES
Example, let „p‟ represent the statement “She is tall and beautiful” and
the letter „q‟ represent the statement “She is intelligent”.
Therefore p and q can be regarded as a statement also meaning “She is
tall, beautiful and intelligent.”
Hence, Logic is the science of reasoning or explaining events. In other
words, it could still be defined as the study and analysis of a
mathematical proposition as to ascertain the Truth Value of the
proposition.
The TRUTH VALUE of a proposition is termed “T” if it is true and “F”
if it is false.
Example 1
Given that 2 + 3 = 4, the Truth Value of this statement is False i.e. „F‟.
Example 2
Example 3
p Q p q
T T T
T F F
2
MATHEMATICS FOR MANAGEMENT SCIENCES I
Meaning, “if p is true, q is true; then p and q must be true”. Also, “if p
is true, q is false; then p and q must be false”.
This shall be expansible in this further study.
3
MATHEMATICS FOR MANAGEMENT SCIENCES I
3.4 Connectives
These are expressions; phrases or symbols that are made used of, to join
(combine) two or more simple statements together in order to form a
composite statement.
i. Conjunction “and”
ii. Disjunction “OR”
iii. Negation “NOT” ~
iv. Conditional “If …. Implies that” or
v. Bi – implication “if and only if”
3.6 An Argument
Example 1
4
MATHEMATICS FOR MANAGEMENT SCIENCES I
The above argument is valid i.e. r derives its supports from p and q
respectively.
Example 2
p q = {x / x p x q}
Example 3
Considering the statements (i) to (iv), only proposition (iv) is true, and
(i), (ii), (iii) are false because in each case, one of the simple statement is
false.
5
MATHEMATICS FOR MANAGEMENT SCIENCES I
Statements p q (p q)
i) T F F
ii) F T F
iii) F F F
iv) T T T
Remark
This is the exact order the statement above follows, but in the final
presentation, the Truth Value Table must be formulated considering
Truth first before False.
Statements p q (p q)
iv) T T T
i) T F F
ii) F T F
iii) F F F
3.9 Disjunction (p q)
Any two statements can be combined by the word “or” (), to form
another statement. The disjunction of p and q is denoted by p q.
Example 4
6
MATHEMATICS FOR MANAGEMENT SCIENCES I
p q (p q)
T T T
T F F
F T T
F F F
Example 5
Only (iv) is false, every other proposition is true; since at least one of the
propositions is true.
3.10 Negation
Example 6
Let (p) be Garri is from yam; therefore (~ p) means, “It is false that
Garri is from yam”.
Then, the Truth Value of the negation of statement satisfies the property.
If (p) is true, (~ p) is false.
P (~ p)
T F
F T
7
MATHEMATICS FOR MANAGEMENT SCIENCES I
Further Examples
i. p implies w
ii. p is sufficient for q
iii. q is necessary for p
iv. p only if q
v. q if p or
vi. if p then q or
vii. q follows from p or (p q)satisfies the following property:
p q (p q)
T T T
T F F
F T T
F F F
Example 7
Here, only (i) is false, because true statement cannot imply false
statement, Garri is from cassava is true, 5 + 2 =6: while all other
statements are true.
8
MATHEMATICS FOR MANAGEMENT SCIENCES I
3.10.2 Bi-conditional (p q)
If (p) and (q) have the same Truth Value, then (p q) is true.
p Q (p q)
T T T
T F F
F T F
F F T
Example 8
Hence, statements (iii) and (iv) are true and statements (i) and (ii) are
false.
Idempototent Laws
1. (a) ( p q) = p (b) ( p q) = p
The intersection or the union of two similar sets is the same set.
Associate Laws
9
MATHEMATICS FOR MANAGEMENT SCIENCES I
Commutative Laws
Distributive Laws
4. (a) p ( q r) = (p q) (p r)
(b) p ( q r) = (p q) (p r)
Identity Laws
5. (a) (P T) = P (b) (P F) = F
(c) (P F) = P (d) (P T) = T
Complement Laws
De Morgan‟s Laws
Example 1.1
Let p be “The goods are standard” and q be “The goods are expensive”.
1. (p q)
2. (p q)
3. ( q)
4. (p q)
5. (~ p ~ q)
6. ~ (~ p ~ q)
Solution
10
MATHEMATICS FOR MANAGEMENT SCIENCES I
3. (~~ q) Reads “It is not false that the goods are expensive”
Example 1.2
Solution
a) (p q)
b) (p q)
c) ( p ~ q) = ~ (p q)
d) (~p q)
e) p (~ p q)
f) ( p ~ q)
Example 1.3
a) (p q) (p q)
b) p ~ (p q)
11
MATHEMATICS FOR MANAGEMENT SCIENCES I
Solution
a) (p q) (p q)
P Q (p q) (p q) (p q) (p q)
T T T T T
T F F T F
F T F T T
F F F F F
b) p ~ (p q)
p q (p q) ~ (p q) p ~ (p q)
T T T F T
T F F T T
F T F T T
F F F T T
Example 1.4
a. (p q) ( p r) = p (q r )= , Distributive Law b.
Solution
a. (p q) ( p r) = p (q r )
p Q T (p q) ( p r) (p q) (p q) (q r ) p (q r )
T T T T T T T T
T T F T T T F T
T F T T T T F T
T F F T T T F T
F T T T T T T T
F T F T F F F F
F F T F T F F F
F F F F F F F F
12
MATHEMATICS FOR MANAGEMENT SCIENCES I
b. (~ (p ~ q) = ~ (p~ q)
p Q (~ p) (~ q) (~ (p ~ q) (p q) ~(q r )
T T F F F T F
T F F T T F T
F T T F T F T
F F T T T F T
Example 1.5
Solution
(~~q) = (p)
Q (~ q) (~~ q)
T F T
F T F
Example 1.6
Example 1.7
13
MATHEMATICS FOR MANAGEMENT SCIENCES I
Let p be the statement “It is born again” and, q be the statement “He can
see the kingdom of God
Then, (~ p) Is “He is not born again”
(~ q) Is “He cannot see the kingdom of God”.
~ q ~ p is called the contra-positive of p q.
He cannot see the kingdom of God implies that he is not born again.
4.0 CONCLUSION
5.0 SUMMARY
p q ~p ~q p q ~ p ~ q ~ q ~ p q p
T T F F T T T T
T F F T F T F T
F T T F T F T F
F F T T T T T T
14
MATHEMATICS FOR MANAGEMENT SCIENCES I
Q p∆q
T T T
T F F
F T F
F F T
Construct the Truth Value Table for the
following:
15