Mathematical Reasoning Flashcards

1
Q

Declarative statement that is either true or false but not both

A

Proposition

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

tile (~)

A

not

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

current (^)

A

and

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

inverted current (v)

A

or

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

single headed arrow (->)

A

implies

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

double headed arrow (<–>)

A

if and only if

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

defines all the possible truth values

A

truth table

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

represent the relationship between the truth values of propositions formed from those propositions

A

truth table

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

change the truth value

A

negation

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

true if both are true

A

conjunction

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

true if one is true

A

disjunction

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

true if the truth value are the same

A

biconditional

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

true if the truth are the same value and last condition is true

A

implication

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

A compound statement if its truth table column consists entirely of entries with (truth values T)

A

Tautology

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

A compound statement if its truth table column consists entirely of entries with (truth values F)

A

Contradiction

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

Suppose that the compound propositions P and Q. Given any truth values either P and Q are both true or P and Q are both false.

A

Logical Equivalent

16
Q

the conditional proposition p → q is the proposition ~q → ~p.

A

contrapositive