Truth Tables Babey! Flashcards

1
Q

Atomic statement

A

One that does not have any other statement as a component

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

Compound statement

A

One that has at least one atomic statement as a component

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

Scheme of abbreviation

A

What results from assigning each atomic statement a distinct capital letter

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

~

A

Tilde, means “not”

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

Negation symbol

A

~

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

A

Dot, means “and”

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

Conjunction symbol

A

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

V

A

Vee, means “or”

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

Disjunction symbol

A

V

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

->

A

Arrow, means “if-then”

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

Conditional symbol

A

->

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

Its the…. Double arrow….

A

Double arrow, means “if and only if”

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

Biconditional symbol

A

Double arrow again lol WHY

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

What are the logical operators

A

~, •, v, ->, double arrow

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

Main logical operator

A

Compound statement is the one that governs the largest component/s of a compound statement

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

Minor logical operator

A

Governs smaller components

17
Q

• •

A

Triple dot, means “conclusion”

18
Q

WFF

A

WELL FORMED FORMULA BITCH

19
Q

Well Formed Formula

A

Grammatically correct symbolic expression

20
Q

Wffs

A

Capital letters, ~p, (p•q), (pvq), (p->q),

p double arrow q

21
Q

True/false rule for •

A

Only true if both conjuncts are true, otherwise it is false

22
Q

True/false rule for V

A

Only false if both disjuncts are false, otherwise it is true

23
Q

True/false rule for ->

A

False only when its antecedent is true & its consequent is false, otherwise it is true