1/24
Looks like no tags are added yet.
Name | Mastery | Learn | Test | Matching | Spaced |
---|
No study sessions yet.
If A, then B
If A→B and ~B→~A
A if B
B→A and ~A→~B
A only if B
A→B and ~B→~A
Only A are B
B→A and ~A→~B
Any A is/are B
A→B and ~B→~A
Every A is B
A→B and ~B→~A
No A is/are B
A→~B and B→~A
A cannot be B
A→~B and B→~A
Without A there can be no B
B→A and ~A→~B
A requires B
A→B and ~B→~A
In order for A to be true, B must be true
A→B and ~B→~A
A depends on B
A→B and ~B→~A
A happens whenever B happens
B→A and ~A→~B
No A unless B
A→B and ~B→~A
"If" is an indicator for the
Sufficient condition
"Only if" is an indicator for the
Necessary condition
If "only" takes the same meaning as "just" in a conditional, then
Just pretend there's an "if" and classify it as a Necessary Condition
If "only" does not take the same meaning as "just" in a conditional, then
It goes in the Sufficient Condition
A necessitates B
A→B and ~B→~A
No A is not a B
A→B and ~B→~A
A is a prerequisite/is essential for B
B→A and ~A→~B
A presupposes B
A→B and ~B→~A
If there's no B, then there's no A
~B→~A and A→B
A guarantees B
A→B and ~B→~A