Logic Cheat Sheet, Translating Logical Operators Flashcards
If A, then B
A→B
If not B, then not A
not B→not A
contrapositive: A→B
All As are Bs
A→B
A only if B
A→B
Not A unless B
A→B
Not A until B
A→B (not until = only)
Only B can be A
A→B
The only way to do A is to do B
A→B
A depends on B
A→B
None but B are A
A→B (none but = only)
None except B are A
A→B (none except = only)
Not until B can I do A
A→B
If A, then not B
A→not B
If B, then not A
A→not B
B→not A
No A are B
A→not B
(No= negate necessary)
No B are A
A→not B
Cannot have both A and B
A→not B
A depends on not B
A→not B
B depends on not A
A→not B
A only if not B
A→not B
B only if not A
A→not B
At most one of A or B is selected
A→not B
At least one of A or B is not selected
A→not B
If not A, then B
not A→ B
If not B, then A
not A→ B
Without A, we must have B
not A→ B
(Without = negate sufficient)
Without B, we must have A
(not B→ A)
At least one of A or B is selected
not A→ B
At most one of A or B is not selected
not A→ B
Either A or B is selected
not A→ B
If A then B, and if B then A
A ↔ B
A and B are interdependent
A ↔ B
All As are B and all B are A
A ↔ B
A if and only if B
A ↔ B
B if an only if A
A ↔ B
Cannot have A without B, and cannot have B without A
A ↔ B
Either A and B are selected, or else neither A nor B are selected
A ↔ B
Either A or B, but not both, is selected
A ↔ not B
All except A are B
A ↔ not B
(biconditional, negate necessary)
All except B are A
A ↔ not B
All except = forever apart, bi-conditional
All but A are B
A ↔ not B
(biconditional, negate necessary)
All but B are A
A ↔ not B
(biconditional, negate necessary)
All except B are A
A ↔ not B
All but A are B
A ↔ not B
All but B are A
A ↔ not B
A if and only if not B
A ↔ not B
If and only if not= forever apart biconditional
B if and only if not A
A ↔ not B
Either A is selected without B, or else B is selected without A
A ↔ not B
Either A is selected and B is not selected, or else B is selected and A is not selected
A ↔ not B
If A, then neither B nor C
A→ not B and not C
B is in any photo that A is in
A→ B
A unless B
Not A→B
Unless A, then B
Not A→B
No A without B
A →B
No A unless B
A →B