Module 2: Logic and Reasoning Flashcards

1
Q

What is a mathematical statement?

A

A mathematical statement is a statement that can be assigned a truth value and
classified as true or false, but not both.

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

If all mathematical statements are declarative statements, are all declarative statements mathematical statements?

A

NO

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

YES or NO the following statement is a mathematical statement: 7 is a lucky number.

A

NO

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

YES or NO the following statement is a mathematical statement: Math 10 is a GE course.

A

YES

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

The conjunction “p AND q” is written as _____

A

p ∧ q

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

The disjunction “p OR q” is written as ____

A

p ∨ q

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

The conditional “IF p THEN q” is written as _____

A

p → q

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

In the conditional statement, p is referred to as the _____ and q as the ______

A

premise; conclusion

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

The biconditional statement “p IF AND ONLY IF q” is written as _____

A

p ↔ q

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

The negation statement “NOT p” is written as ____

A

~p

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

Examples of delimiters to group statements together

A

(), {}, []

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

When determining the truth value of statements with a delimeter, what statement do you evaluate first?

A

the statement inside the delimeters

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

What is the truth value of the following statement, given that p,q, an r are true statements:
(~p ∧ q) ∨ ~(r → ~q)

A

true

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

The conjunction p ∧q is true if both p and q are _____. Otherwise, it is false.

A

true

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

The disjunction p ∨ q is true if ______ statement (p, q, or both) is true.
It is false only if ______.

A

at least one; both statements are false

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

The conditional p → q is false only when the premise p is ____ and the
conclusion q is ____. Otherwise, it is true.

A

true; false

17
Q

The biconditional p ↔ q is true if p and q _______.

A

have the same truth value (both true or both false)

18
Q

The negation ~ p is true if p is _____. If p is ____, ~p is false.

A

false; true

19
Q

When constructing truth tables, what is the formula for computing the number of possible cases for all combinations of truth values?

A

let n be the number of statements; 2^n

20
Q

When are statements considered equivalent?

A

If they have the same truth value based on a truth table

21
Q

What is the negation of all?

A

not all, some, there is at least one

22
Q

What is the negation of “has more than”

A

has at most

23
Q

What is the negation of some?

24
Q

What is the negation of p ∨ q (p OR q)

A

not p AND not q

25
Negate: We are winning the fight against poverty or everyone is in despair.
We are not winning the fight against poverty AND someone is not in despair.
26
What is the negation of p ∧ q (p AND q)
not p OR not q
27
Negate: The chairs are red and UP is at least 100 years old.
The chairs are not red or UP is less than 100 years old.
28
Negate the following statement: ( p ∨ q ) ∧ (~r ∨ ~s)
(~p∧~q) ∨ (r∧s)
29
What are the four forms or variants of the conditional statement?
original, inverse, converse, contrapositive
30
Inverse form of the conditional statement
~p -> ~q
31
Converse form of the conditional statement
q -> p
32
Contrapositive form of the conditional statement
~q -> ~p
33
Which variants of the conditional are equivalent?
inverse and converse; original and contrapositive
34
What is the converse (p->q) statement: If it is raining, then I will bring my umbrella
If I bring my umbrella, then it is raining.
35
What is the inverse (~p->~q) statement: If it is raining, then I will bring my umbrella
If it is not raining, then I will not bring my umbrella.
36
What is the contrapositive (~q->~p) statement: If it is raining, then I will bring my umbrella
If I do not bring my umbrella, then it is not raining.
37
Give 5 equivalent statements: If you care for the environment, then you should recycle.
1. (q if p): You should recycle if you care for the environment. 2. (p only if q): You care for the environment only if you recycle. 3. (q is necessary for p): Recycling is necessary for caring for the environment. 4. (all p are q): All who care for the environment should recycle. 5. (either not p or q): Either you do not care for the environment or you recycle.
38
39
Valid argument forms
modus ponens, modus tollens, syllogism