STA.

TERESA COLLEGE
Bauan, Batangas
College Department

COURSE SYLLABUS

Course Code Math 108

Course Name Logic and Set Theory

Course Credits 3 units

Course Description The course is a study of mathematical logic which covers topics such as propositions, logical operators, rules of
replacement, rules of inference, algebra of logic and quantifiers. It also includes a discussion of elementary theory of
sets such as fundamental concepts of sets, theorems and set operations.

Contact Hours/Week 3 hours

Prerequisite none
1. Analyze the logical structure of statements symbolically, including the proper use of logical connectives,
Course Outcomes predicates and quantifiers.
2. Use different types of reasoning to justify statements and arguments made about mathematics and
mathematical concepts.
3. Solve problems and write proofs using the concept of set theory including the methods of Venn diagram
4. Solve problems and write proofs using the basic definition of relations and mappings

Page 1 of 9
 STA. TERESA COLLEGE
Bauan, Batangas
College Department

COURSE OUTLINE AND TIMEFRAME

Timeframe Course Contents / Subject Matter

Week 1 A. Elementary Logic
Week 2-3 B. Logical Statement and Quantifiers
Week 4 C. Truth Tables, Equivalent Statements and Tautologies
Week 5 Preliminary Examination
Week 6 D. Conditional, Biconditional and Related Statements
Week 7 E. Symbolic Arguments and Fallacies
Week 8 F. Arguments and Euler Diagrams
Week 9 G. Statement of Proof
Week 10 Midterm Examination
Week 11 - 14 H. Sets
Week 15 Semi-final Examination
Week 15 - 16 I. Relations
Week 17-18 J. Mappings
Week 18 Final Examination

Page 2 of 9
 STA. TERESA COLLEGE
Bauan, Batangas
College Department

ALIGNMENT OF COURSE OUTCOMES WITH SUMMATIVE ASSESSMENT TASKS

Course Objectives Summative Assessment Details

Task

1. Analyze the logical structure of statements Reflective Journals Students will write a piece of writing which allows them to
symbolically, including the proper use of record thoughts and insights about their own learning
logical connectives, predicates and experience. This can be writing about what and how they have
quantifiers. learned and understood a topic. It can also be a review of their
learning process, self-evaluation of their performance and
planning for future learning based on past learning experiences.
2. Use different types of reasoning to justify Solving Logical Puzzles Students will solve set of logical puzzles using the standard
statements and arguments made about forms of valid arguments
mathematics and mathematical concepts.
3. Solve problems and write proofs using the
concept of set theory including the methods
of Venn diagram End-of-Chapter Type Students will be given numerical practice problems to solve, in
4. Solve problems and write proofs using the Problems order, after class. These numerical problems are usually over-
basic definition of relations and mappings simplified real-life problems calling for direct substitution of
values into formulae.

Page 3 of 9
 STA. TERESA COLLEGE
Bauan, Batangas
College Department

LEARNING PLAN

Desired Learning Course Contents / Textbooks / References Teaching and Learning Assessment of Resource Time
Outcomes (DLO) Subject Matter Activities (TLAs) Tasks (ATs) Materials Table
1. List and I. Logic
discuss some
basic A. Elementary Logic https://www.youtube.com/watch Whole Class
operations on B. Logical Statement ?v=K4ChzesrWKI Discussion
logic. and Quantifiers Problem Sets Work Sheets
2. Identify the  Operations on Chen, D. and Leung, K. (1992), Use the readings
statement as Propositions Elementary Set Theory Part 1. about Switching Logic puzzle
proposition or  Conjunction Hongkong University Press. Networks made by and games Laptop
non-proposition  Disjunction Claude E. Shannon 4
3. Illustrate and  Negation Stoll, R. (1979), Set Theory and (1916-2001) as an Quiz Bee Power point weeks
symbolize  Conditional Logic. Dover Publications, Inc. application of presentation
propositions  Biconditional symbolic logic. Preliminary
4. Distinguish Sirug, Winston S. (2018), Exam Video clip
 Exclusive-or
between simple Mathematics in the Modern Videos or stories
 Quantifiers
and compound World. Mindshapers Co., Inc can also be used.
C. Truth Tables,
propositions These activities elicit
Equivalent
5. Determine the Epp, Susana S. (2004), Discrete students sense of
Statements, and
truth values of Mathematics with Application. appreciation and
Tautologies
propositions Thomson Learning Inc. meaning to the topic
6. Construct  Truth Tables
switching  Equivalent Utilize provided
network Statements exercises as
7. Illustrate the  Tautologies practice in class
different forms either in group or by 1 week
of conditional pair
propositions

Page 4 of 9
 STA. TERESA COLLEGE
Bauan, Batangas
College Department

Desired Learning Course Contents / Textbooks / References Teaching and Learning Assessment of Resource Time
Outcomes (DLO) Subject Matter Activities (TLAs) Tasks (ATs) Materials Table
8. Illustrate D. Conditional, Chen, D. and Leung, K. (1992),
different types Biconditional and Elementary Set Theory Part 1. Pass the problem –
of tautologies Related Statements Hongkong University Press. students will be Problem Sets Work Sheets
and fallacies E. Symbolic Arguments divided into groups.
9. Determine the and Fallacies Stoll, R. (1979), Set Theory and Give the first group Logic puzzle
validity of F. Arguments and Euler Logic. Dover Publications, Inc. a case or a problem and games Laptop
categorical Diagrams and ask them to 4
syllogisms G. Theorems and Proofs Sirug, Winston S. (2018), identify (and write Quiz Bee Power point weeks
10. Establish the Mathematics in the Modern down) the first step presentation
validity and World. Mindshapers Co., Inc in solving the Midterm
falsity of real- problem or Examination
life arguments Epp, Susana S. (2004), Discrete analyzing the case
using logical Mathematics with Application. (3 minutes). Pass
propositions, Thomson Learning Inc. the problem on to
syllogisms, and the next group and
fallacies have them identify
11. Determine the the next step.
validity of an Continue until all
argument groups have
12. Present proofs contributed
using direct
and
contrapositive
proof, proof of
contradiction
and proof by
exhaustion

Page 5 of 9
 STA. TERESA COLLEGE
Bauan, Batangas
College Department

Desired Learning Course Contents / Textbooks / References Teaching and Learning Assessment Resource Time
Outcomes (DLO) Subject Matter Activities (TLAs) of Tasks (ATs) Materials Table
13. Analyze the
constituents II. Sets
of set
14. Identify the A. Sets Chen, D. and Leung, K. (1992), Individual or small
different B. The Axiom of Elementary Set Theory Part 1. group exercises Rubrics for
properties of Extension Hongkong University Press. including games group games Laptop 4
sets C. Subsets and the and use the weeks
15. Use Venn empty set Stoll, R. (1979), Set Theory and Whole class numerical Power point
diagram to D. Venn Diagrams Logic. Dover Publications, Inc. discussions scores presentation
illustrate sets E. Unordered Pairs and based on the
and relations Singletons Sirug, Winston S. (2018), Ask the Winner – ask scoring Work sheets
between F. Intersections Mathematics in the Modern students to silently mechanics
them G. Unions World. Mindshapers Co., Inc solve a problem on of the game
16. Find the H. Complements the board. After
intersections, I. Power Sets Epp, Susana S. (2004), Discrete revealing the answer, Peer and
unions, Mathematics with Application. instruct those who got self
complements Thomson Learning Inc. it right to raise their assessments
and power hands (and keep them
sets of set raised); then all other Set of
17. Solve real life students are to talk to exercises
problems someone with a from the
involving raised hand to better prescribed
intersections, understand the textbook
unions and question and how to
complement solve it Semi-final
of set. Examination
18. Prove the
different
properties of
operations of
set
Page 6 of 9
 STA. TERESA COLLEGE
Bauan, Batangas
College Department

Desired Learning Course Contents / Textbooks / References Teaching and Learning Assessment Resource Time
Outcomes (DLO) Subject Matter Activities (TLAs) of Tasks (ATs) Materials Table

Page 7 of 9
 STA. TERESA COLLEGE
Bauan, Batangas
College Department

19.Find the
Cartesian
product of a III. Relations Present different kinds
set. A. Ordered Pairs Chen, D. and Leung, K. (1992), of relations
20.Prove B. Cartesian Products of Elementary Set Theory Part 1.
statements Sets Hongkong University Press. Round Robin – have
involving C. Relations groups silently list top
Cartesian D. Inverses and Stoll, R. (1979), Set Theory and 3 answers to a Laptop
product of a Compositions Logic. Dover Publications, Inc. problem/question.
set. E. Equivalence Relations Allow all groups to Power point
21.Identify the present one idea in a Exercises/ presentation
characteristics round robin format problem sets 2
of a relation until all groups Work sheets Weeks
22.Perform exhausted their lists. Rubrics
composition Scribe all answers Geogebra
of relations and then discuss how
23.Find the to reduce/re-
inverse of a categorize answers.
relation Have groups vote on
24.State the top three, provide
conditions of results, discuss and
equivalence vote again
relations
25.Test whether Whole Class
the given Discussion
relation is an
equivalence
relation on a
specific set

Desired Learning Course Contents / Textbooks / References Teaching and Learning Assessment Resource Time
Outcomes (DLO) Subject Matter Activities (TLAs) of Tasks (ATs) Materials Table

Page 8 of 9
 STA. TERESA COLLEGE
Bauan, Batangas
College Department

26.Illustrate
relations and IV. Mappings
functions Whole Class
through A. Mappings Chen, D. and Leung, K. (1992), Discussion
mappings B. Compositions Elementary Set Theory Part 1.
27.Identify C. Direct Images and Hongkong University Press. Solve real-life
different types Inverse Images problems Real-life Laptop
of mappings D. Injective, Surjective and Stoll, R. (1979), Set Theory and problems 2
28.Determine the Bijective Mappings Logic. Dover Publications, Inc. Wisdom of Another – Geogebra weeks
properties of after an individual Rubrics
compositions exercises, partner Activity
of functions students up to share Exercises in Sheets
and relations their results. Then, the
given call for volunteers of prescribed Rubrics
mappings students who found textbook
29.Graph the their partner’s work to
direct and be interesting or
inverse exemplary. Students
images of a are sometimes more
map willing to share in
30.State whether plenary the work of
the given fellow students than
mappings is their own work
injective,
surjective or
bijective using
the theorems
on mappings

Page 9 of 9