Logic Flashcards

1
Q

A proposition is….

A

A statement that can be true, false, or indeterminate

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

Indeterminate

A

Can be true or false (undecided)

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

A proposition is not….

A

A question

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

Lower case letters

A

Represent propositions

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

Negation

A

The opposite of a proposition

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

Symbol for a negation

A

Rotated “L” shape

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

Conjunction

A

When two propositions are joined with AND

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

Symbol for conjunction

A

“A” shape

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

Disjunction

A

When two propositions are joined with OR

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

Two possible disjunctions

A

Inclusive or exclusive

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

Inclusive disjunction

A

Meaning either or both (When it’s possible to have both)

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

Exclusive disjunction

A

Meaning either but not both (When you can’t have both)

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

Truth tables

A

Evaluate all possible truth values

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

If values of two tables are the same

A

The statements are logically equivalent

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

Symbol for logically equivalent

A

Double arrow

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

Tautology

A

All values are true

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

Contradiction

A

If all values are false

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

Equivalents are represented by

A

A double arrow

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

Implication

A

Single arrow pointing right (IF… THEN)

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

Antecedent

A

(If)

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

Consequent

A

(Then)

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

3 dots

A

Therefore

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

If something is all true

A

It is a valid argument

24
Q

A valid argument

A

Must be a tautology

25
Q

Q arrow P

A

Converse

26
Q

P arrow Q

A

Implication

27
Q

Not p arrow not q

A

Inverse

28
Q

Not q arrow not p

A

Contrapositive

29
Q

Order matters with

A

Implications

30
Q

If + Only

A

Double arrow

31
Q

False at the front of an implication

A

Makes the whole statement true

32
Q

T T

A

= Conjunction

33
Q

F F

A

= Disjunction

34
Q

T F

A

= Implication

35
Q

F F p implies q

A

True

36
Q

F T p implies q

A

True

37
Q

T F p implies q

A

False

38
Q

T T p implies q

A

True

39
Q

Exclusive disjunction symbol

A

“V” with a line underneath

40
Q

Inclusive disjunction symbol

A

“V”

41
Q

Logically equivalent example….

A

Inverse and Converse

42
Q

Logically equivalent example 2:

A

Implication and contraceptive

43
Q

An invalid argument will have at least….

A

One false

44
Q

A contradiction has….

A

All F’s in the last column

45
Q

A tautology has….

A

All T’s in the last column

46
Q

At least 1 must be true ….

A

To get T for or

47
Q

Only time false with or

A

F F

48
Q

Only time you can get true with and

A

T T

49
Q

An invalid argument

A

Is not always true (Must have at least one false)

50
Q

A valid argument

A

Is always true (all Ts)

51
Q

Venn diagram for exclusive disjunction

A

Just intersection

52
Q

Venn diagram for inclusive disjunction

A

All of Venn

53
Q

Equivalent

A

If and only if

54
Q

And can only be true if….

A

Both prepositions are true

55
Q

An equivalent can only be true if….

A

Both prepositions are the same (TT or FF)