Discrete Math terms

Universal statement

says a certain property is true for all elements of a set

Conditional statement

Says if one thing is true then some other thign has to be true

Existential statement

Asserts that at least one thing in a set has

∀

“for all”

∃

“There exists”/”there is”/”for some”

universal conditional statement

both universal and conditional

Universal existential statement

Asserts a property is true for all objects of a certain type

Existential Universal Statement

Asserts existence of an item, asserts that the item satisfies a property

Ordered Pair

pair of objects in parentheses (a,b) where a is first and b is second

What is the Cartesian product

product of two sets, (x,y)(y,x) for each element in both sets

x ∈ S

X is an element of S

R

set of all real numbers

Z

set of all integers

Q

the set of all rational numbers, or quotients of integers

N

natural numbers

⊆

“Is a subset of”

{x ∈ S | P(x)}

the set of all elements x in S, such that P(x) is true

x R y means

x is related to y

Function

each x has a y, no x has two y’s

function machine

takes an element in A and produces an element in B

Statement/proposition

Sentence that is true of false, but not both

Atomic Statement

Statement that is true of false, cant be both, and cannot be broken down further

∧

conjunction/ “and”

∨

disjunction/ “or”

¬ or ∼

Negation/ “not”