0% found this document useful (0 votes)
174 views8 pages

GEC14 Lesson04 Logic Handout

This document contains notes for a lesson on logic. It reviews propositional logic, introduces predicate logic and quantifiers, and covers set operations. Propositional logic is reviewed through truth tables and important tautologies. Predicate logic introduces existential and universal quantifiers and their negations. Set operations like union, intersection, difference and subsets are defined and can be represented using Venn diagrams. Exercises related to these topics are provided at the end.
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
174 views8 pages

GEC14 Lesson04 Logic Handout

This document contains notes for a lesson on logic. It reviews propositional logic, introduces predicate logic and quantifiers, and covers set operations. Propositional logic is reviewed through truth tables and important tautologies. Predicate logic introduces existential and universal quantifiers and their negations. Set operations like union, intersection, difference and subsets are defined and can be represented using Venn diagrams. Exercises related to these topics are provided at the end.
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 8

GEC 14 Course:

Mathematics in the Modern World Name:


First Semester 2020 – 2021 Notes
Lesson 04
Logic
Faculty: Jayson A. Lucilo

o
This lesson contains 8 pages (including this cover page) and this has an activity with 9 problems
with subquestions. Check to see if any of the pages is missing. Enter all requested information on
the top portion of the last page.

The first few pages contains lesson discussion about the topic and towards the end, several exercises

cil
which needs to be answered are provided. Unlike with the examinations, you may use your books,
notes, or any calculator on answering this activity.

The following rules apply:

• This is a beta version of the MMW Module which


Problem Points Score
is a work in progress. Should you find erroneous
content and typographical errors, please send me
1 20
Lu
an e-mail thru [email protected].

• This should be used only as learning material of 2 10


students under my class and not for any com-
mercial purposes. 3 3

• Write legibly. Organize your work in a rea- 4 3


sonably neat, systematic and logical manner on
the space provided. Work scattered all over the 5 3
page without a clear ordering will receive minimal
credit. 6 3
JA

• Mysterious or unsupported answers will not


receive full credit. Meanwhile, a correct answer 7 3
unsupported by calculations, explanation, or al-
gebraic work will receive no credit. Whereas an 8 9
incorrect answer supported by substantially cor-
rect calculations and explanations may merit par- 9 9
tial credit.
Total: 63
• If you need more space, use the back of the pages.
Clearly indicate when you have done this on the
specific item number to facilitate easy checking.

Do not write on the table to the right.


GEC 14 (MMW) Lesson 04 - Page 2 of 8 First Semester 2020 – 2021

Logic
Contents
1 Review of Propositional Logic 2
1.1 Connectives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.1 Truth Table of the Connectives . . . . . . . . . . . . . . . . . . . . . . . . . . 2

o
1.2 Important Tautologies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

2 Predicate logic and Quantifiers 3


2.1 Introduce quantifiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.1.1 ∃ existential quantifier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

cil
2.1.2 ∀ universal quantifier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.1.3 ∃! for one and only one . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2 Alternation of Quantifiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.3 Negation of Quantifiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

3 Set Operations 4
3.1 Venn Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
3.2 Properties of Set Operations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

4 Activity Worksheet 7
Lu
Logic

Contents

1 Review of Propositional Logic


Task: Recall enough propositional logic to see how it matches up with set theory.

Definition: A proposition is any declarative sentence that is either true or false.


JA

1.1 Connectives
Connectives Notation in Maths
and ∧
or ∨ ”Inclusive or”
not ¬ Sometimes denoted ∼
implies → if/then; called implication ⇒
if and only if ↔ Called equivalence ⇔
1.1.1 Truth Table of the Connectives
Let P, Q be propositions:
GEC 14 (MMW) Lesson 04 - Page 3 of 8 First Semester 2020 – 2021

P Q P∧Q P Q P∨Q P Q P→Q P Q P↔Q


F F F F F F P ¬P F F T F F T
F T F F T T F T F T T F T F
T F F T F T T F T F F T F F
T T T T T T T T T T T T

Priority of the Connectives


Highest to Lowest: ¬, ∧, ∨, →, ↔

o
1.2 Important Tautologies
(P → Q) ↔ (¬P ∨ Q)
(P ↔ Q) ↔ [(P → Q) ∧ (Q → P )]

cil
¬(P ∧ Q) ↔ (¬P ∨ ¬Q)
¬(P ∨ Q) ↔ (¬P ∧ ¬Q) } De Morgan Laws

As a result, ¬ and ∨ together can be used to represent all of ¬, ∧, ∨, →, ↔.

Less obvious: One connective called the sheffer stroke P|Q (which stands for ”not both P and
Q” or ”P nand Q”) can be used to represent all of ¬, ∧, ∨, →, ↔ since ¬P ↔ P|P and P ∨
Q ↔ (P|P) | (Q|Q).
Recall if P→Q is a given implication, Q→P is called the converse or P→Q. ¬Q → ¬P.
Lu
2 Predicate logic and Quantifiers
Task: Understand enough predicate logic to make sense of quantified statements.
In predicate logic, propositions depend on variable x, y, z, so their truth value may change de-
pending on which values these variables assume: P (x), Q(x, y), R(x, y, z)

2.1 Introduce quantifiers


2.1.1 ∃ existential quantifier
JA

Syntax: ∃xP (x)


Definition: ∃xP (x) is true if P (x) is true or some value of x; it is false otherwise.

2.1.2 ∀ universal quantifier


Syntax: ∀xP (x)
Definition: ∀xP (x) is true if P (x) is true for all allowable values of x. It is false otherwise.

2.1.3 ∃! for one and only one


Syntax: ∃!xP (x)
Definition: ∃!xP (x) is true if P (x) is true for exactly one value of x and false for all often values
of x; otherwise, ∃!xP (x) is false.
GEC 14 (MMW) Lesson 04 - Page 4 of 8 First Semester 2020 – 2021

2.2 Alternation of Quantifiers


∀x∃y∀z P (x, y, z)
NB: The order cannot be exchanged as it might modify the truth values of the statement (think
of examples with two quantifiers).

2.3 Negation of Quantifiers


¬(∃xP (x)) ↔ ∀x¬P (x)

o
¬(∀xP (x)) ↔ ∃x¬P (x)

3 Set Operations
Task: Understand how to represent sets by Venn diagrams. Understand set union, intersection,

cil
complement and difference.
Definition: Let A, B be sets. A is a subset of B. If all elements of A are elements of B, i.e.
∀x(x ∈ A → x ∈ B). We denote that A is a subset of B by A ⊆ B
Example: N ⊆ Z
Definition: Let A, B be sets. A is a proper subset of B if A ⊆ B ∧ A 6= B, i.e. A ⊆ B ∧ ∃x ∈
Bs.t.x ∈
/ A.
A proper subset is always a subset, but a subset is not always a proper subset.
Lu
Notation: A ⊂ B
Example: N ⊂ Z since ∃ − 1 ∈ N
NB: ∀A a set ∅ ⊆ A
Recall: B ⊆ C means ∀x(x ∈ B → x ∈ C), but ∅ has no elements so in ∅ ⊆ A the quantifier
∀ operates on a domain with no elements. Clearly, we need to give meaning to ∃ and ∀ on
empty sets.

Boolean Convention
∀ is true on the empty set
∃ is false on the empty set } Consistent with common sense
JA

Definition: Let A, B be two sets. The union A ∪ B = {x | x ∈ A ∨ x ∈ B}


Definition: Let A, B be two sets. The intersection A ∩ B = {x | x ∈ A ∧ x ∈ B}
Definition: Let A, B be sets. A and B are called disjoint is A ∩ B = ∅
Definition Let A, B be two sets. A − B = A\B = {a | x ∈ A ∧ x ∈
/ B}
A = {1, 2, 5} B = {1, 3, 6}
Examples: A ∪ B = {1, 2, 3, 5, 6} A ∩ B = {1}
A\B = {2, 5} B\A = {3, 6}

Definition: Let A, U be sets s.t. A ⊆ U . The complement of A in U = U \A = AC = {x | x ∈


U ∧x∈ / A}
Remark: The notation AC is unambiguous only if the universe U is clearly defined or understood.
GEC 14 (MMW) Lesson 04 - Page 5 of 8 First Semester 2020 – 2021

3.1 Venn Diagrams


Schematic representation of set operations.

A B A B

o
AC

cil
A B A B

A∩B A∪B
Lu
A B A B

A\B B\A
JA
GEC 14 (MMW) Lesson 04 - Page 6 of 8 First Semester 2020 – 2021

3.2 Properties of Set Operations

Correspondence between Logic and Set Theory

Logical Connective Set operation


∧ intersection ∩
∨ union ∪
¬ complement ( )C

o
As a result, various properties of set operations become obvious:

• Commutativity

cil
– A∩B =B∩A
– A∪B =B∪A

• Associativity

– (A ∪ B) ∪ C = A ∪ (B ∪ C)
– (A ∩ B) ∩ C = A ∩ (B ∩ C)

• Distributivity
Lu
– A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
– A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ B)

• De Morgan Laws in Set Theory

– (A ∩ B)C = AC ∪ B C
– (A ∪ B)C = AC ∩ B C

• Involutivity of the Complement

– (AC )C = A
JA

NB: An involution is a map such that applying it twice gives the identity. Familiar examples:
reflecting across the x-axis, the y-axis, or the origin in the plane.

• Transitivity of Inclusion

– A⊆B∧B ⊆C →A⊆C

• Criterion for proving equality of sets

– A=B ↔A⊆C ∧B ⊆A

• Criterion for proving non-equality of sets

– A 6= B ↔ (A\B) ∪ (B\A) 6= 0
GEC 14 (MMW) Lesson 04 - Page 7 of 8 First Semester 2020 – 2021

4 Activity Worksheet
Mathematics of Language and Symbols
Logic

Name: Signature:
Course: Date:

1. (20 points) Determine whether each of the sentences below is a proposition (P) or not(N).

o
1. All multiples of 3 are odd numbers.
2. x is an integer number.
3. Draw the graph of function f .

cil
4. Seven is less than −7.
5. 5 < 25
6. February 25, 2020 is a holiday.
7. The sum of two prime numbers is even.
8. 33 + 33 + 33 = 34
9. Where do broken hearts go?
10. Every decimal number is a rational number.
Lu
2. (10 points) Let p and q be the propositions ”The teacher is attending a meeting
today.” and ”We do have a class.” respectively. Express each of these compound
propositions as an English sentence.

1. ¬p

2. ¬q → p
JA

3. ¬p ↔ q

4. q ∨ p

5. q → ¬p
GEC 14 (MMW) Lesson 04 - Page 8 of 8 First Semester 2020 – 2021

Watch the YouTube video thru this link for more discussion on Converse, Inverse and Contra-
positive: Converse, Inverse, & Contrapositive - Conditional & Biconditional Statements, Logic,
Geometry
Let p, q and r be the propositions
p : You pass the midterm exam;
q : You do every class activity in the course ; and
r : You pass MMW
Write these propositions in symbols using p, q and r and logical connectives.

o
3. (3 points) You pass MMW, but you do not do every exercises in the class.

4. (3 points) You pass the midterm exam, you do every class activity in the class and you pass

cil
MMW.

5. (3 points) To pass MMW, it is necessary for you to pass the midterm exam

6. (3 points) You pass the midterm exam, but you do not do every class activity in the class,
nevertheless you pass MMW.
Lu
7. (3 points) You do not pass MMW, because you do not pass the midterm exam and you do not
do every class activity.

State the converse, inverse and contrapositive of the following propositions.

8. (9 points) If there is a quiz, then I attend my class.


Converse:

Inverse:
JA

Contrapositive:

9. (9 points) Ensuring that your products are of good quality implies that you will have a high
amount of sales and profit.
Converse:

Inverse:

Contrapositive:

You might also like