Professional Documents
Culture Documents
Gec 4 Reviewer
Gec 4 Reviewer
Gec 4 Reviewer
SYMBOLS
FINITE – if the number of elements is countable
SET – well-defined collection of distinct objects
INFINITE – if the numbers of elements cannot be
WELL DEFINED SET – elements in a set are
countable
specifically listed(ex. Set of all positive numbers)
NOT WELL – DEFINED – (ex. Set of all delicious
food)
NOTATION
x ∈ S means that x is an element of set S.
x ∉ S means that x is not an element of set S.
SET BUILDER NOTATION – uses a variable, braces,
and a vertical bar | that is read as “such that.”
Ex. EQUAL – set with exactly same elements and
ORDERED PAIRS
GRAPH
Domain = {1, 2} (all first numbers of ordered pairs)
Range = {1, 2, 3} (all second numbers of ordered
pairs)
FUNCTION – relation where each element in the
domain is related only to one value in the range by
some rules
NEGATION
FUNCTION STATEMENT
– PSG will win Saturday.
– I took a shower today.
– My car is clean.
NEGATION
– PSG will not win Saturday.
– I did not take a shower today.
– My car is not clean.
UNIT 3: LOGIC
STATEMENT – declarative sentence that can be
objectively determined to be true or false, but not both
Most scientists agree that global warming is
a threat to the environment.(STATEMENT)
Is that your laptop? (NOT)
SIMPLE STATEMENT – contains only one idea
Man, that hurts! (STATEMENT)
My dorm room has three beds in it.
8 – 2 = 6 (STATEMENT)
Boracay Beach is in Panay Island.
This book is about database management.
COMPOUND STATEMENT – formed by joining two
(STATEMENT)
simple statements with what is called a connective.
Everybody should watch reality shows.
BASIC CONNECTIVES
(NOT)
– and is called a conjunction
QUANTIFIED STATEMENTS – involve terms such as
– or is called a disjunction
all, each, every, no, none, some, there exists, and at
– if . . . then is called a conditional, and
least one
– if and only if is called a biconditional
UNIVERSAL QUANTIFIERS
EX.
– either include or exclude every element of
– John studied for 5 hours, and he got
the universal set(all, each, every, no, none)
1.50. (conjunction)
Every student taking GEC4 will
– You will participate in math quiz bee or
pass.
you will not have an additional grade.
None of the TUPC students are
(disjunction)
involved on fraternity.
– If the study is finished, then it’s a “Yes”.
EXISTENTIAL QUANTIFIERS
(Conditional)
– show the existence of something, but do not
– You will pass GEC4 if and only if you got
include the entire universal set(some, there
at least 75%. (Biconditional)
exists, at least one)
SYMBOLIC NOTATION
Some students are athletic and also
excel on mathematics.
There is at least one professor in
this school who does not have
brown eyes.
TRUTH VALUE TAUTOLOGY – statement that is always true, some
truth value of a simple statement is uses it to emphasize
either true (T) or false (F).
truth value of a compound statement
depends on the truth values of its simple
statements and its connectives
TRUTH TABLE - table that shows the truth value of a
compound statement for all possible truth values of its
simple statements
NEGATION
SELF CONTRADICTION – statement that is always
false
CONJUNCTION
EQUIVALENT STATEMENTS
DISJUNCTION – two statements are equivalent if they both
have the same truth value for all possible
truth values of their simple statements
– have identical truth values in the final
columns of their truth tables
– notation p ≡ q is used to indicate that the
statements p and q are equivalent
CONDITIONAL
BICONDITIONAL
Conclusion:
100 is an even number.
INDUCTIVE REASONING TO PREDICT NUMBER