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?

A

all

24
Q

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

A

not p AND not q

25
Q

Negate: We are winning the fight against poverty or everyone is in despair.

A

We are not winning the fight against poverty AND someone is not in despair.

26
Q

What is the negation of p ∧ q (p AND q)

A

not p OR not q

27
Q

Negate: The chairs are red and UP is at least 100 years old.

A

The chairs are not red or UP is less than 100 years old.

28
Q

Negate the following statement: ( p ∨ q ) ∧ (~r ∨ ~s)

A

(~p∧~q) ∨ (r∧s)

29
Q

What are the four forms or variants of the conditional statement?

A

original, inverse, converse, contrapositive

30
Q

Inverse form of the conditional statement

A

~p -> ~q

31
Q

Converse form of the conditional statement

A

q -> p

32
Q

Contrapositive form of the conditional statement

A

~q -> ~p

33
Q

Which variants of the conditional are equivalent?

A

inverse and converse; original and contrapositive

34
Q

What is the converse (p->q) statement: If it is raining, then I will bring my umbrella

A

If I bring my umbrella, then it is raining.

35
Q

What is the inverse (~p->~q) statement: If it is raining, then I will bring my umbrella

A

If it is not raining, then I will not bring my umbrella.

36
Q

What is the contrapositive (~q->~p) statement: If it is raining, then I will bring my umbrella

A

If I do not bring my umbrella, then it is not raining.

37
Q

Give 5 equivalent statements: If you care for the environment, then you should recycle.

A
  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
Q
A
39
Q

Valid argument forms

A

modus ponens, modus tollens, syllogism