FL Translations Flashcards
if
Sufficient keyword
All
Sufficient keyword
Any
Sufficient keyword
When/whenever
Sufficient keyword
Every
Sufficient keyword
THE only
Sufficient keyword
Then
Necessary keyword
Necessarily
Necessary keyword
Always
Necessary keyword
Must be
Necessary keyword
Need
Necessary keyword
Required
Necessary keyword
Depends on
Necessary keyword
Only
Necessary keyword
Only if
Necessary keyword
Unless/Without Approach 1
IF NOT
Unless/Without Approach 2
➡️ and ~ sufficient
+ ➡️ - =
Mutually exclusive; never both
Max reduced by 1
No vegetable is an apple
Apple ➡️ ~ vegetable
A vegetable is never an apple
Vegetable ➡️ ~ apple
Neither nor
Not blank AND not blank
But
And
If A, then B
If A ➡️ B
All C areD
If C ➡️ D
Every E is F
If E ➡️ F
If G, then not H
If G ➡️ ~ H
No I are J
If I ➡️ ~ J
Only K are L
L ➡️ K
M only if N
M ➡️ N
The only O are P
O ➡️ P
No Q unless R
If Q ➡️ R
S unless T
If ~ S ➡️ T
No U without V
If U ➡️ V
Without W, no X
~ W ➡️ ~ X
X ➡️ W
Y if, but only if, Z
If Y ➡️ Z
If Z ➡️ Y
AA if, and only if, BB
If AA ➡️ BB
If BB ➡️ AA
If CC, then neither DD nor EE
If CC ➡️ ~DD AND ~EE
FF if GG
If GG ➡️ FF
HH is always II
If HH ➡️ II
Each
Sufficient
Each
Sufficient
