Discrete Math Review Flashcards
is a branch of mathematics that
assumes only distinct separated values.
DISCRETE MATHEMATICS
WHY DO WE NEED TO STUDY DISCRETE MATH?
Mathematical language of computer science
Develops mathematical reasoning by learning
propositional logic and different method of proof
▪ Gateway to more advanced courses in all parts of
mathematical science
or the building up of
machines made up of
electronic devices that
behave logically through
Boolean operations is
based on logic.
HARDWARE
side, database management
systems, programming
languages and artificial
intelligence are based on logic.
SOFTWARE
is the study of reasoning.
It focuses on the relationship among statements and not on the content of the statements.
Its building blocks are called propositions.
LOGIC
are propositions that are assumed
to be true.
AXIOMS
are statements used to
create new concepts in terms of existing ones
DEFINITIONS
is a proposition that has been
proven to be true.
THEOREM
is a theorem that is useful in
proving another theorem
LEMMA
It is a statement that
follows with little or no proof required from an
already proven statement
COROLLARY
is a sequence of statements. The
statements are arguments that establishes the
truth value of a proposition
PROOF
A number is equal to itself
REFLEXIVE AXIOMS
follows Euclid’s Common Notion
One: “Things equal to the same thing are equal to each
other.
Axiom of Equality
which states that every polynomial equation over the field
of complex numbers of degree higher than 1 has a
complex solution or using a formula: P(x) = anxn + … +
a1x + a0 = 0
FUNDAMENTAL THEOREM OF ALGEBRA
is a declarative sentence that is either true or false but not both. The area of logic that deals with this is called the propositional logic.
PROPOSITION
is a tool for the analysis of proof. The truth or falsehood of a proposition is called its
truth value.
LOGIC
can only have two
truth values.
TRUTH VALUE
Propositions, the truth value of which cannot be immediately determined is a
PROPOSITIONAL FUNCTION.
stand for (and can be replaced by) elements from
their DOMAIN.
Variables