Flashcards in Formal Logic Rules Deck (54):

1

## If

### Sufficient

2

## All

### Sufficient

3

## Any

### Sufficient

4

## Every

### Sufficient

5

## Each

### Sufficient

6

## When

### Sufficient

7

## Whenever

### Sufficient

8

## Wherever

### Sufficient

9

## The only

### Sufficient

10

## Then

### Necessity

11

## Requires

### Necessity

12

## Guarantees

### Necessity

13

## Must

### Necessity

14

## Necessary

### Necessity

15

## Bound to lead to

### Necessity

16

## Are destined to

### Necessity

17

## Only if

### Necessity

18

## Results in

### Necessity

19

## Produces

### Necessity

20

## Sure to

### Necessity

21

## Always

### Necessity

22

## Unless

###
Necessity

Negate the sufficient

OR use (IF NOT) and do not negate

23

## Depends on

### Necessity

24

## Without

###
Necessity

Negate the sufficient

OR use (IF NOT) and do not negate

25

## No

### Mutually Exclusive

26

## Incapable

### Mutually Exclusive

27

## Impossible

### Mutually Exclusive

28

## Cannot

### Mutually Exclusive

29

## None

### Mutually Exclusive

30

## Neither...nor

### Mutually Exclusive

31

## Never

### Mutually Exclusive

32

## In order to

### Sufficient

33

## People who

### Sufficient

34

## Only

### Necessary

35

## Except

### Necessary

36

## Until

### Necessary

37

## X ---> ~Y

###
Can NEVER have both. XY not possible. Limits maximum numbers

Mutually exclusive relationship

Write down NEVER-XY

Positive trigger, negative result

38

## ~X ---> Y

### MUST have at least one. Can have both. Limits the min numbers.

39

## Unless

###
IS NOT/IF NOT

best used at beginning

40

## Without

###
IF NOT

Best used at beginning

41

## Neither X nor Y

### ~X AND ~Y

42

## But

### AND

43

## No one

### Neg Ness (put on right)

44

## Negatives

### On the right (Ness)

45

## Never

### on the right (Ness)

46

## OR

###
Cookies or (either) icecream, means:

Just cookies,

Just icecream

or both

Needs to say "but not both" (just one or other other)

Or "Exactly one"

47

## Anyone

### Sufficient

48

## If, but only if

###
Biconditional relationship

X Y

Each is a sufficient and necessary for the other term

49

## In order for...

### Necessary

50

## need

### Sufficient

51

##
A ---> B

A ---> C

### A ---> B and C

52

##
A ---> B

C ---> B

### A or C ---> B

53

##
A --->B

B --->C

### A --->C

54