Bsem 25 - Logic and Set Theory
Bsem 25 - Logic and Set Theory
Students are expected to live by and stand for the following University tenets:
TRUTH is demonstrated by the student’s objectivity and honesty during examinations, class activities and in the development of projects.
EXCELLENCE is exhibited by the students’ self-confidence, punctuality, diligence and commitment in the assigned tasks, class
Core Values performance and other course requirements.
SERVICE is manifested by the students’ respect, rapport, fairness and cooperation in dealing with their peers and members of the
community.
In addition, they should exhibit love and respect for nature and support for the cause of humanity.
Goals of the The College shall endeavor to achieve the following goals:
College/
Campus 1. Develop a highly competent human resource by ensuring an enriching environment to promote professional growth, career
advancement for faculty, staff and students.
2. Provide quality instruction and development-oriented researches in cooperation with various institutions for the benefit of the
community.
3. Respond effectively to the needs, demands and requirements of the community to demonstrate the University’s mission of relevance
and leadership.
4. Institutionalize quality assurance policies to keep abreast with national and international standards of excellence to realize
competitiveness in the campus’ products and services.
V01-2018-07-17
The Department of Teacher Education aims to provide learning experiences to develop adults who have the thinking, problem-solving,
decision-making, communication, technical, and social skills to participate in various types of employment in the service of the community,
development activities, and public discourses, particularly in response to the needs of the community they serve. Consequently, the
Objectives department aims to produce graduates who:
of the 1. are committed and accountable for providing classroom instruction with results that are manifested in high performance levels in
Department terms of student learning outcomes;
2. are dedicated to the well-being of the students and communities they serve, taking into account their cultural diversity, group
aspirations, and what is valued in education; and
3. keep abreast with developments in education and builds professional links to enrich the teaching profession.
Program Educational Objectives
1. Articulate the rootedness of education in philosophical, socio-cultural, historical, psychological, and political contexts.
2. Demonstrate mastery of subject matter/discipline.
3. Facilitate learning using a wide range of teaching methodologies and delivery modes appropriate to specific learners and their environments.
4. Develop innovative curricula, instructional plans, teaching approaches, and resources for diverse learners.
5. Apply skills in the development and utilization of ICT to promote quality, relevant, and sustainable educational practices.
6. Demonstrate a variety of thinking skills in planning, monitoring, assessing, and reporting learning processes and outcomes.
7. Practice professional and ethical teaching standards sensitive to the local, national, and global realities.
8. Pursue lifelong learning for personal and professional growth through varied experiential and field-based opportunities.
COURSE SYLLABUS
First Semester, AY 2019 – 2020
Course Course
BSEM 25 Logic and Set Theory Type Lecture Credit Units 3
Code Title
The course is a study of mathematical logic which covers topics such as propositions, logical operators, rules of replacement, rules of
Course
inference, algebra of logic and quantifiers. It also includes a discussion of elementary theory of sets such as fundamental concepts of sets,
Description
set theorems and set operations.
Pre-
None Course Schedule Lecture: Monday, 3:30-5:00 pm and Thursday, 7:00-8:30 am
requisites
Student Outcomes and Relationship to Program Educational Objectives
Program Educational Objectives
Program/Student Outcomes
1 2 3 4 5 6 7 8
The students should:
a. exhibit competence in mathematical concepts and procedures. X
V01-2018-07-17
b. exhibit proficiency in relating mathematics to other curricular areas. X
c.
manifest meaningful and comprehensive pedagogical content knowledge (PCK) X
of mathematics.
d.
demonstrate competence in designing, constructing and utilizing different forms of X
assessment in mathematics.
e.
demonstrate proficiency in problem-solving by solving and creating routine and X
non-routine problems with different levels of complexity.
f.
use effectively appropriate approaches, methods, and techniques in teaching X X X
mathematics including technological tools.
g.
appreciate mathematics as an opportunity for creative work, moments of X X X
enlightenment, discovery and gaining insights of the world.
Course Outcomes and Relationship to Student Outcomes
Program Outcomes Addressed by the Course Program Outcomes Code
After completing this course, the students must be able to: a b c d e f g
1. Recognize and use certain very common forms of correct logical
D I E D D E E
inference and avoid certain common logical errors;
2. Increase our ability to construct extended chains of reasoning and
D E E D D E E
to deal with more complex problems;
3. Construct proofs for a variety of results; and E I E D E E D
4. Learn not just how to reason correctly, but also why certain forms
I E E E D D D
of inference are correct and others incorrect;
*Level : I-Introductory E- Enabling D-Demonstrative
COURSE COVERAGE
No. of Teaching and
Intended Learning Outcomes-based
Hours Topic Learning Activities Resources Needed
Outcomes (ILO) Assessment (OBA)
Lec Lab (TLA)
13.5 - After the completion of the I. Sentential Logic Lecture-Discussion on Reference books Worksheet/Activity/
chapter, students should 1. Introduction to Logic all topics Quiz on all topics
be able to: 2. The Structure of Sentential
1. Define logic, argument, Logic Interactive Learning on Problem Set on all
and proposition. 3. Computing Truth Values all topics topics
2. Use and differentiate 4. Indirect Proof
the logical connectives. 5. Biconditional Conclusions Problem Solving on all Boardwork on all topics
3. Describe compound 6. Proof by Contrapositive topics
propositions.
4. Distinguish arguments
whether they are
tautology, contradiction
V01-2018-07-17
or contingency.
5. Apply rules of
replacement in logical
equivalences.
6. Prove using the truth
table and proof of
invalidity.
7. Apply the rules of
replacement and
inference in proving.
8. Prove the validity of a
given argument using
the formal proof of
validity.
1.5 - First Long Examination
After the completion of the II. Monadic Predicate Logic Lecture-Discussion on Reference books Worksheet/Activity/
chapter, students should 1. Singular Sentences all topics Quiz on all topics
be able to: 2. Quantifiers
1. Define singular 3. Categorical Propositions Interactive Learning on Problem Set on all
sentences. 4. Complex Subjects and all topics topics
2. Transform sentences Predicates
using quantifiers. 5. Quantifier Form and Truth- Problem Solving on all Boardwork on all topics
3. Describe categorical Functional Compounds of topics
propositions. Quantifier Statements
9 -
4. Understand complex 6. Proofs in Predicate Logic
subjects and 7. Invalidity in Quantifier Logic
predicates.
5. Compare different
quantifier statements.
6. Construct proofs in
predicate logic.
7. Describe invalidity in
quantifier logic.
3 - Midterm Examination
10.5 - After the completion of the III. Relational Predicate Logic Lecture-Discussion on Reference books Worksheet/Activity/
chapter, students should 1. Symbolization in Relational all topics Quiz on all topics
be able to: Predicate Logic
1. Symbolize sentences in 2. Proofs and Invalidity for Interactive Learning on Problem Set on all
V01-2018-07-17
relational predicate Relational Predicate Logic all topics topics
logic. 3. Identity and Definite
2. Construct proofs and Descriptions Problem Solving on all Boardwork on all topics
invalidity for relational 4. Proofs Involving Identity topics
predicate logic.
3. Describe identity and
definite descriptions.
4. Construct proofs
involving identity.
1.5 - Second Long Examination
After the completion of the IV. Set Theory Lecture-Discussion on Reference books Worksheet/Activity/
chapter, students should 1. Basic Definitions and all topics Quiz on all topics
be able to: Notations
1. Define set. 2. Set operations, algebra of Interactive Learning on Problem Set on all
2. Solve using sets sets all topics topics
12 -
operations. 3. Venn Diagrams
3. Use Venn diagrams in Problem Solving on all Boardwork on all topics
problem solving. topics
4. Apply set theory in real-
life problems.
3 - Final Examination
54 -
COURSE REQUIREMENTS
Lecture Requirements:
1. Mid-Term Examination
2. Final Examination
3. Quizzes/Worksheets/Activities
4. Class Participation/Board work
5. Assignments/Problem Sets
6. Class Attendance
GRADING SYSTEM
CLASS STANDING 60%
Worksheets/Quizzes 50%
Problem Sets 20%
Class Participation 20%
Attendance 10%
100%
V01-2018-07-17
COMPREHENSIVE EXAM 40%
CLASS POLICIES
A. Attendance
Students are not allowed to have 20% or more unexcused absences of the total class hours; otherwise, they will be graded as “DROPPED”.
B. Classroom Decorum
Students are required to:
1. wear identification cards and the prescribed uniform at all times;
2. turn off or put in silent mode cellular phones during class hours;
3. clean the classroom before and after classes;
4. avoid unnecessary noise that might disturb other classes;
5. practice good manners and right conduct at all times;
6. practice gender sensitivity and awareness inside the classroom; and
7. come to class on time.
C. Examination/ Evaluation
1. Quizzes may be announced or unannounced.
2. Mid-term and Final Examinations are scheduled.
3. Cheating is strictly prohibited. A student who is caught cheating will be given a score of ”0” for the first offense. For the second offense, the
student will be automatically given a failing grade in the subject.
4. Students who will miss a mid-term or final examination, a laboratory exercise or a class project may be excused and allowed to take a special
V01-2018-07-17
exam, conduct a laboratory exercise or pass a class project for any of the following reasons:
a. participation in a University/College-approved field trip or activity;
b. due to illness or death in the family; and
c. due to force majeure or natural calamities.
REFERENCES & SUPPLEMENTARY READINGS
References
Amacio, L., et. al. (2005). College Algebra, Worktext, second edition. Published by National Bookstore, Mandaluyong City.
Borro, (2005) College Algebra: A Simplified Approach.
Cabero, Jonathan, et. al. (2010). Discrete Mathematics 1. National Bookstore.
Klenk, V. (2008). Understanding Symbolic Logic. Pearson Prentice Hall.
Mijares, C. D. (2006) College Algebra, Mandalutong City. National Bookstore Inc.
Rosen, K. (2011). Discrete Mathematics and Its Applications. McGraw-Hill Companies, Inc.
REVISION HISTORY
Revision
Date of Revision Date of Implementation Highlights of Revision
Number
1 August 13, 2019 First Semester, AY 2019-2020 Aligned to the new curriculum
V01-2018-07-17