P(c) for an arbitrary c
___________
∴∀xP(x) - ANSWER Universal Generalization
∃xP(x)
___________
∴P(c) for some element c - ANSWER Existential Instantiation
P(c) for some element c
___________
∴∃xP(x) - ANSWER Existential Instantiation
If a, b, and c are integers, - ANSWER 1) if a/b and a/c, then a/(b+c)
2) if a/b,, then a/bc for all integers c
3) if a/b and b/c, then a/c
If a, b, c are integers such that a/b and a/c - ANSWER then a/(mb+nc)
An integer is called "prime" if - ANSWER the only positive factors of p are 1 and p.
An integer is called "composite" if - ANSWER it is not prime.
, Integers a & b are "relatively prime" - ANSWER if their greatest common divisor is 1.
Even Integer - ANSWER An integer that can be written as 2n, where n is some
integer.
Odd Integer - ANSWER An integer that can be written as 2n+1, where n is some
integer.
Prime Integer - ANSWER A integer n>1 whose only multiples are 1 and itself. For
positive integers r and s,
If n=rs, then r=n and s=1, or r=1 and s=n.
Composite Integer - ANSWER There are positive integers r and s such that
n=rs and
1<r<n
1<s<n
(r and s are both multiples of n and less than n.)
To prove an existential statement... - ANSWER Find an x that works for the
statement.
To disprove a universal statement... - ANSWER Find a counterexample.
Exhaustion - ANSWER Prove a universal statement, test all x in the domain.
Rational Number - ANSWER A number that can be written as a/b, where a and b
are integers and b is not 0.
Divisibility - ANSWER If n and d are integers and d is not 0, then n is divisible by d
iff n=dk, where k is an integer. (d|n means n is divisible by d).
Unique Factorization Theorem - ANSWER Every whole number can be uniquely
factored as a product of primes. This result guarantees that if the prime factors are
ordered from smallest to largest, everyone will get the same result when breaking a
number into a product of prime factors.
∀x P(x) - ANSWER is read as "For all x, P(x)" or "For every x, P(x)"
∃x P(x) - ANSWER is read as "For some x, P(x)", or as "There is an x such that
P(x)," or "For at least one x, P(x)."
Uniqueness Quantifier - ANSWER "There is a unique x such that P(x)" or "There is
one and only one x such that P(x)," symbol: ∃!
The benefits of buying summaries with Stuvia:
Guaranteed quality through customer reviews
Stuvia customers have reviewed more than 700,000 summaries. This how you know that you are buying the best documents.
Quick and easy check-out
You can quickly pay through credit card or Stuvia-credit for the summaries. There is no membership needed.
Focus on what matters
Your fellow students write the study notes themselves, which is why the documents are always reliable and up-to-date. This ensures you quickly get to the core!
Frequently asked questions
What do I get when I buy this document?
You get a PDF, available immediately after your purchase. The purchased document is accessible anytime, anywhere and indefinitely through your profile.
Satisfaction guarantee: how does it work?
Our satisfaction guarantee ensures that you always find a study document that suits you well. You fill out a form, and our customer service team takes care of the rest.
Who am I buying these notes from?
Stuvia is a marketplace, so you are not buying this document from us, but from seller leonardmuriithi061. Stuvia facilitates payment to the seller.
Will I be stuck with a subscription?
No, you only buy these notes for $17.99. You're not tied to anything after your purchase.