Term

Definition


Term

Definition
connected series of statements to establish a definite proposition 


Term

Definition
a variable that is quantified 


Term

Definition
x two sets A and B is the set of all ordered pairs of (a,b) such that a member B b member A 


Term

Definition
Combination of multiple propositions. 


Term

Definition


Term

Definition
Proposition that is neither a tautology or a contradiction 


Term

Definition
Proposition that always evaluates to false 


Term

Definition


Term

Definition


Term

Definition
Theorem who's truth follows directly from an accepted theorem 


Term

Definition
Moves from accepted general principals to specific situation. 


Term

Definition
encompasses the representation and study of collections of distinct objects 


Term

Definition
Intersection is the empty set 


Term

Definition
A collection of values from which a variable's value is drawn 


Term

Definition
Argument constructed with improper inference. 


Term

Definition
Largest integer such that ix and iy 


Term

Definition
Disjunction of predicates in which at most one of the predicates is not negated 


Term

Definition
In is a nxn with ones down main diagonal 


Term

Definition
Moves from specific observations to a general conclusion. 


Term

Definition


Term

Definition
smallest integer such that xs and ys 


Term

Definition
simple theorem whose truth is used to construct more complex theorems 


Term

Definition
Both propositions evaluate to the same result when presented with the same input 


Term

Definition
The use of formal languages and grammars to represent the syntax and semantics of computation. 


Term

Definition
S steps with n1 ways first n2 second etc. then n1*n2...ns ways to complete 


Term

Definition
Set of two items (a,b) (a,b) not equal (b,a) unless a=b 


Term

Definition
Separates its members into disjoint sets 


Term

Definition
The classical notion of 'logic' The study of thought and reasoning. 


Term

Definition
n items in k boxes then one box has ceiling (n/k) items 


Term

Definition
Set of all of A's subset including empty set. 


Term

Definition
A statement that includes one or more variables and will evaluate to either true or false when the variables are assigned values 


Term

Definition
sound argument that establishes the truth of a theorem 


Term

Definition
is a claim that is either true or false with respect to an associated context 


Term

Definition
Ordered range of a function from a set of integers to a set S. 


Term

Definition
Unordered collection of unique objects 


Term

Definition
A proposition that contains no logical operators. 


Term

Definition
Valid argument that has true premises 


Term

Definition
Unsupported or improperly constructed argument 


Term

Definition
A is a ███▐█ B if every member of A can be found in B 


Term

Definition


Term

Definition
Proposition that always evaluates to true 


Term

Definition
Denoted A^T mxn = nxm rows and columns exchanged. 


Term

Definition


Term

Definition
Conclusion must follow from the hypothesis 


Term

Definition
A correctly structured expression of a language. 


Term

Definition


Term

Definition
set of instructions for performing a task 


Term

Definition
constant called common difference 


Term

Definition


Term

Definition


Term

Definition


Term

Definition


Term

Definition
statement with unknown truth value 


Term

Definition
finite or countable infinite 


Term

Definition
bijective mapping is to either of the sets Z* or Z+ 


Term

Definition


Term

Definition
reflexive symmetric and transitive 


Term

Definition
i and j positive integers. i %j = 0 


Term

Definition
bijective mapping between it and set of cardinality n 


Term

Definition
f: X > Y is a relation from X to Y. 


Term

Definition


Term

Definition
f(n) = p p is image n is preimage 


Term
increasing sequence (non decreasing) 

Definition


Term

Definition
complex problems are handled in terms of simplier versions 


Term

Definition
f(x) = y for at most one member of X 


Term
irreflexive partial order 

Definition
reflexive, antisymmetric and transitive 


Term

Definition


Term

Definition
nDimensional collection of values 


Term

Definition
reflexive, antisymmetric and transitive 


Term

Definition
ordering of n distinct elements 


Term

Definition
only factors are 1 and then number also number > 2 


Term

Definition
a is ███ B A is a subset of B and A not equal B 


Term

Definition
ordering of relemtn subset of n distinct elements 


Term

Definition
set of all images of elements of X 


Term

Definition
basis, inductive and sometimes external clause 


Term

Definition


Term
strictly increasing sequence 

Definition


Term

Definition
continuous finite sequence of zero or more elements of x are found within y in the same relative order. 


Term

Definition
f's range is Y (range=codomain) 


Term

Definition
Conjecture that is shown to be true 


Term

Definition
every pair of elements a,b are comparable 

