Unit 1 Logic & Proofs Flashcards

(50 cards)

1
Q

What is the domain in the context of functions?

A

The set of all possible inputs.

Domain is crucial for understanding how functions operate.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

What is the codomain in the context of functions?

A

The set of all possible outputs.

Codomain is like the universe set for possible outputs of a function.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

What is the range of a function?

A

The set of all actual outputs that the function produces.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

How is a conditional statement structured?

A

If p, then q.

This structure is often represented as p → q.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

What does p represent in the statement ‘if p, then q’?

A

The hypothesis (the ‘if’ part).

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

What does q represent in the statement ‘if p, then q’?

A

The conclusion (the ‘then’ part).

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

What is a proof?

A

A step-by-step logical argument that shows a statement is true.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

What is a theorem?

A

The statement we are trying to prove.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

What is a direct proof?

A

The most straightforward type of proof used to prove conditional statements.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

What is the strategy for a direct proof?

A

Assume p is true, use definitions and logic to show q is true.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

What theorem is illustrated in the direct proof example?

A

If n is an even integer, then n² is also an even integer.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

What is the definition of an even integer?

A

An integer that can be written as 2 * k, where k is another integer.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

How do you show that n² is even if n is even?

A

By squaring the equation n = 2k to get n² = 4k².

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

What is proof by contraposition?

A

Proving that ‘if not q, then not p’ is true.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

What is proof by contradiction?

A

Assuming both P and not Q are true to derive a contradiction.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

What is a tautology?

A

A logical expression that is always true.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
17
Q

What is a contradiction?

A

A logical expression that is always false.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
18
Q

What is a prime number?

A

A natural number greater than 1 with no positive divisors other than 1 and itself.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
19
Q

What is a composite number?

A

A whole number greater than 1 that has more than two positive factors.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
20
Q

What are real numbers?

A

All numbers that can be represented on a continuous number line, including rational and irrational numbers.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
21
Q

What is a perfect square?

A

A number that can be expressed as the product of an integer with itself.

22
Q

What is an integer multiple?

A

A product of a number and any integer.

23
Q

How do you define consecutive integers?

A

If a is an integer, then b = a + 1.

24
Q

When is an integer x considered even?

A

If there is an integer k such that x = 2k.

25
When is an integer x considered odd?
If there is an integer k such that x = 2k + 1.
26
What does it mean for two numbers to have the same parity?
Both numbers are either even or both are odd.
27
What is the definition of rational numbers?
Numbers that can be expressed as a fraction of two integers, where the denominator is not zero.
28
Is 0 a rational number?
No. ## Footnote 0 can be expressed as 0/1, but it is not considered rational in this context.
29
What does it mean for an integer x to divide another integer y?
x divides y if there exists an integer k such that y = k * x.
30
What notation is used to denote that x divides y?
x | y.
31
What does x ∤ y mean?
x does not divide y.
32
What is the significance of a truth table?
It helps determine whether a logical expression is a tautology, contradiction, or neither.
33
What are natural numbers?
Counting numbers (1, 2, 3, ...) ## Footnote Natural numbers are the set of positive integers used for counting.
34
Define whole numbers.
Natural numbers plus zero (0, 1, 2, 3, ...) ## Footnote Whole numbers include all natural numbers and the number zero.
35
What are integers?
Whole numbers and their negative counterparts (..., -3, -2, -1, 0, 1, 2, 3, ...) ## Footnote Integers include all positive and negative whole numbers.
36
How are rational numbers defined?
Numbers that can be expressed as a fraction of two integers (e.g., 1/2, -3/4, 0.75) ## Footnote Rational numbers can be written as a ratio of integers.
37
What is a perfect square?
A number that can be expressed as the product of an integer with itself ## Footnote Example: 9 is a perfect square because it is equal to 3^2.
38
Define integer multiple.
A product of a number and any integer ## Footnote Example: 12 is a multiple of 3 because 12 = 3×4.
39
What does M(x) signify in the context of integer multiples?
x is an integer multiple of 4 ## Footnote Example: When x=8, n is 2 because 8 = 4×2.
40
What are consecutive numbers?
Numbers that run continuously or in a logical sequence ## Footnote If a is an integer, then b=a+1.
41
What are real numbers?
All numbers that can be represented on a continuous number line ## Footnote Real numbers include rational and irrational numbers.
42
What is the base case in mathematical induction?
Verify the statement for the initial value (often k = 1) ## Footnote The base case establishes the starting point for induction.
43
What is the inductive hypothesis?
Assume the statement is true for some arbitrary k = n ## Footnote This assumption is crucial for proving the inductive step.
44
Define the inductive step in mathematical induction.
Prove it's true for k = n + 1 based on the assumption for k = n ## Footnote This step completes the induction process.
45
What is proof by contradiction?
Assuming the negation of the statement you want to prove, then deriving a contradiction ## Footnote This method shows that the original statement must be true.
46
What does proof by cases involve?
Dividing the problem into different cases that cover all possibilities ## Footnote Each case is proven separately.
47
What is a tautology?
A logical expression that is always true, regardless of the truth values of its components ## Footnote Truth tables can be used to verify tautologies.
48
What is proof by exhaustion?
Checks every element in the domain ## Footnote For example, checking each even number from 6 to 40 for Goldbach's conjecture.
49
What is a Goldbach number?
A positive even integer that can be expressed as the sum of two odd primes ## Footnote Example: Prove that every even number from 6 to 40 is the sum of two odd primes.
50
What is the contrapositive of a statement?
If P then Q becomes If not Q then not P ## Footnote A statement and its contrapositive are logically equivalent.