PROPOSITIONAL AND DEDUCTIVE LOGIC
PRELIMINARIES
Logic may be defined as the organization of knowledge, or science, which evaluates arguments: it is often defined
as the process of correct reasoning. It comes from the Greek word logos, roughly translated a

PREDICATE LOGIC
PREDICATES AND Q UANTIFIERS
Statements involving variables, such as
x > 3
,
x = y + 3
,
x + y = z2
wall x is under attack by a titan
are often found in mathematical assertion, in computer programs, or in system specifications. These types

Math and Physical Sciences Department
2nd Term, SY 2015-2016
NAME:
STUDENT NUMBER:
SECTION:
DATE/TIME SUBMITTED:
IMATH04: MATHEMATICAL LOGIC
PROBLEM SET 1
(SETS, PROPOSITIONAL LOGIC)
TO BE SUBMITTED ON/BEFORE NOVEMBER 27, 2015, 1500H
GENERAL INSTRUCTIONS:

[TITLE: ARIAL NARROW, FONTSIZE 12, ALL CAPS]
[NAME: Upper and lower case, Lastname, Firstname, M.I. alphabetical
arrange, center]
Technological Institute of the Philippines
Quezon City
July 2015
0
CHAPTER 1.
PROJECTBACKGROUND
The Project
[YOUR BASIS, exam