formal logic Flashcards

- translating the prose of common conditional statements

1
Q

if A, then B

A

if A –> B

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

all C are D

A

if C–> D

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

every E is F

A

if E –> F

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

if G, then not H

A

if G –> ‘H

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

no I are J

A

if I –> ‘J

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

only K are L

A

if L –> K

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

M only if N

A

if M –> N

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

the only O are P

A

if O –> P

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

no Q unless R

A

if Q –> R

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

S unless T

A

if ‘S –> T

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

no U without V

A

if U –> V

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

without W, no X

A

if X –> W

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

Y if, but only if, Z

A

if Y –> Z

if Z –> Y

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

AA if, and only if, BB

A

if AA –> BB

if BB –> AA

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

if CC, then neither DD nor EE

A

if CC –> ‘DD AND ‘EE

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

FF if GG

A

GG –> FF

17
Q

HH is always II

A

if HH –> II

18
Q

if A then B

if B then C

A

if A –> B –> C

if A –> C

19
Q

if D then E

if F then E

A

if D or F –> E

20
Q

if G then H

if G then I

A

if G –> H or I

21
Q

no C are D

A

C –> ‘D

22
Q

A prerequisite for B

A

B –> A

23
Q

if A and B, then C

if A but not B, what happens to C?

A

C is still possible but not necessarily required

24
Q

minimum

A

‘X –> Y
(could have both)
you must have at least one

25
Q

maximum

A

X –> ‘Y
(could have neither)
reduces the number of terms by at least one