Logic Cheat Sheet, Translating Logical Operators Flashcards
1
Q
If A, then B
A
A→B
2
Q
If not B, then not A
A
not B→not A
contrapositive: A→B
3
Q
All As are Bs
A
A→B
4
Q
A only if B
A
A→B
5
Q
Not A unless B
A
A→B
6
Q
Not A until B
A
A→B (not until = only)
7
Q
Only B can be A
A
A→B
8
Q
The only way to do A is to do B
A
A→B
9
Q
A depends on B
A
A→B
10
Q
None but B are A
A
A→B (none but = only)
11
Q
None except B are A
A
A→B (none except = only)
12
Q
Not until B can I do A
A
A→B
13
Q
If A, then not B
A
A→not B
14
Q
If B, then not A
A
A→not B
B→not A
15
Q
No A are B
A
A→not B
(No= negate necessary)
16
Q
No B are A
A
A→not B
17
Q
Cannot have both A and B
A
A→not B
18
Q
A depends on not B
A
A→not B
19
Q
B depends on not A
A
A→not B
20
Q
A only if not B
A
A→not B
21
Q
B only if not A
A
A→not B
22
Q
At most one of A or B is selected
A
A→not B