Exam #1 Flashcards
Variable
Alphabet or term used to represent an unknown number, unknown quantity, or unknown value.
Declarative Statement
true or false NOT both
Universal
true for all: “for every”
Conditional
if true-then true
Existential
if something exists, then something is true for that thing
Set
well defined collection of objects
disjointed set
two sets that have nothing in common
ETA
elements in set
Subset formula
N elements, then 2^N subsets
Function
Rule from a Set A to set B that assigns to each input value in A a unique output value in B
How to determine function
1) no ordered has same X and diff Y
2) every element of A is first element of an ordered pair of F
Relations
a Relation R from A to B is a subset of A x B
Given sets A and B, a relation from A to B is
a subset of the cartesian product A x B
A function F from A to B is a relation from A to B that satisfies the following two properties:
a. For every element x of A, there is _______
b. for all elements x in A and y and z in B, if _____ then ______
a. an element y of such that xFy
b. xFy and xFz ; y = z
If F is a function from A to B and x is an element of A, then F(x) is ______
the unique element of B that is related to x by F
if original is true….
converse is typically false
contrapositive is…
logically equivalent to original
inverse is…
logically equivelant to converse
logically equivelant
exact same truth table
