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 arrow P
Converse
26
P arrow Q
Implication
27
Not p arrow not q
Inverse
28
Not q arrow not p
Contrapositive
29
Order matters with
Implications
30
If + Only
Double arrow
31
False at the front of an implication
Makes the whole statement true
32
T T
= Conjunction
33
F F
= Disjunction
34
T F
= Implication
35
F F p implies q
True
36
F T p implies q
True
37
T F p implies q
False
38
T T p implies q
True
39
Exclusive disjunction symbol
"V" with a line underneath
40
Inclusive disjunction symbol
"V"
41
Logically equivalent example....
Inverse and Converse
42
Logically equivalent example 2:
Implication and contraceptive
43
An invalid argument will have at least....
One false
44
A contradiction has....
All F's in the last column
45
A tautology has....
All T's in the last column
46
At least 1 must be true ....
To get T for or
47
Only time false with or
F F
48
Only time you can get true with and
T T
49
An invalid argument
Is not always true (Must have at least one false)
50
A valid argument
Is always true (all Ts)
51
Venn diagram for exclusive disjunction
Just intersection
52
Venn diagram for inclusive disjunction
All of Venn
53
Equivalent
If and only if
54
And can only be true if....
Both prepositions are true
55
An equivalent can only be true if....
Both prepositions are the same (TT or FF)