Formal Logic, And, Not, If Then Flashcards

1
Q

What symbol do we use for ‘and’?

A

&

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

What type of logical operator is ‘and’?

A

A conjunction, binary

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

What is the truth table for ‘&’?

A

A¦ B¦ A&B ¦
T¦ T¦ T ¦
T¦ F¦ F ¦
F¦ T¦ F ¦
F¦ F¦ F ¦

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

What are some synonyms of ‘and’?

A

‘also’, ‘but’, ‘as well’, ‘however’, ‘and yet’, ‘too’, ‘moreover’, ‘additionally’

They have the same truth table, and also meaning. Sounds different because they have different rhetorical force

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

What symbol do we use for ‘not’?

A

~

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

What type of logical operator is ‘not’?

A

negation, singulary

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

What’s a less ambiguous way of saying ‘not’?

A

It is not the case that…

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

What are some other synonyms of ‘not’?

A

‘it is not the case that’, ‘neither..nor’, ‘un-‘ (e.g. unapologetic = not apologetic)

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

What is the truth table for ‘~’

A

A¦~A¦
T¦ F¦
F¦ T¦

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

What does the double negation elimination rule mean?

A

~~A = A

or in standard form:

P1 ~~A
_____________
C A

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

What does the bad style of argument, an appeal to ignorance look like?

A

‘We don’t know whether A is true, so A is false (or neither true nor false)’

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

Give an example of an appeal to ignorance (bad) argument?

A

P1: It has not been determinately show whether there is a planet orbiting Alpha Centauri A
__________________________________________
C1: There is no such planet
C2: P1 is neither true nor false

It is true or false but we simply don’t know

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

What symbol do we use for ‘If-then’?

A

->

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

What type of logical operator is ‘If-then’?

A

Conditional

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

What are some synonyms of ‘if then’?

A

‘if’, ‘only if’, ‘conditional on’, ‘when’, ‘only when’, ‘in case’

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

In ‘A->B’ which is the antecedent and which is the consequent of the conditional?

A

A is the antecedent and B is the consequent

17
Q

What is the truth table for ‘->’?

A

A¦ B¦ A->B ¦
T¦ T¦ T ¦
T¦ F¦ F ¦
F¦ T¦ T ¦
F¦ F¦ T ¦

18
Q

Give an example of a modus ponens argument using ‘if-then’

A

P1 A->B If Serena is muscular
then serena is strong
P2 A Serena is muscular
___________________ ________________________
C B Serena is strong

19
Q

Give an example of a modus tollens argument using ‘if-then’

A

P1 A->B If Daphne is a cat, then
Daphne meows
P2 ~B Daphne doesn’t meow
___________________ ________________________
C ~A Daphne is not a cat

20
Q

Give an example of a bad argument using ‘if-then’, denying the antecedent

A

P1 A->B If you smoke, you’re
likely to get heart
disease
P2 ~A I don’t smoke
___________________ ________________________
C ~B I’m not likely to get
heart disease

This conclusion could be false as the risk might be genetic.

21
Q

Give an example of a bad argument using ‘if-then’, affirming the consequent

A

P1 A->B If vaccination is
widespread infections
are down
P2 B Infections are down
___________________ ________________________
C A Vaccination is
widespread

This conclusion could be false as it could be the lockdown.

22
Q

What’s the correct truth table for ‘A if B’?

A

B->A

IM NOT SURE

23
Q

What’s the correct truth table for ‘A only if B’?

A

A->B
The second row shows this

IM NOT SURE

24
Q

What are some other ways of signalling the conclusion?

A

‘so’, ‘hence’, ‘thus’, ‘therefore’, ‘it follows that…’