-
if A then B
-
A→B
-
B→A
-
A&B or B&A
-
B, provided that A
-
A→B
-
B→A
-
A&B or B&A
-
B if A
-
A→B
-
B→A
-
A&B or B&A
-
A if B
-
A→B
-
B→A
-
A&B or B&A
-
only provided that A, B
-
A→B
-
B→A
-
A&B or B&A
-
provided that B, A
-
A→B
-
B→A
-
A&B or B&A
-
B only if A
-
A→B
-
B→A
-
A&B or B&A
-
A only if B
-
A→B
-
B→A
-
A&B or B&A
-
only if A, B
-
A→B
-
B→A
-
A&B or B&A
-
only if B, A
-
A→B
-
B→A
-
A&B or B&A
-
supposing that B, A
-
A→B
-
B→A
-
A&B or B&A
-
only supposing that A, B
-
A→B
-
B→A
-
A&B or B&A
-
only when A, B
-
A→B
-
B→A
-
A&B or B&A
-
in the event that B, A
-
A→B
-
B→A
-
A&B or B&A
-
only when B, A
-
A→B
-
B→A
-
A&B or B&A
-
so long as A, B
-
A→B
-
B→A
-
A&B or B&A
-
when A, B
-
A→B
-
B→A
-
A&B or B&A
-
when B, A
-
A→B
-
B→A
-
A&B or B&A
-
whenever B, A
-
A→B
-
B→A
-
A&B or B&A
-
only provided that A, B
-
A→B
-
B→A
-
A&B or B&A
-
A is necessary for B
-
A→B
-
B→A
-
A&B or B&A
-
B is necessary for A
-
A→B
-
B→A
-
A&B or B&A
-
B is essential for A
-
A→B
-
B→A
-
A&B or B&A
-
A is essential for B
-
A→B
-
B→A
-
A&B or B&A
-
B is adequate for A
-
A→B
-
B→A
-
A&B or B&A
-
A is enough for B
-
A→B
-
B→A
-
A&B or B&A
-
for A, B is necessary
-
A→B
-
B→A
-
A&B or B&A
-
for B, A is necessary
-
A→B
-
B→A
-
A&B or B&A
-
a necessary condition for A, is B
-
A→B
-
B→A
-
A&B or B&A
-
a necessary condition for B, is A
-
A→B
-
B→A
-
A&B or B&A
-
A is sufficient for B
-
A→B
-
B→A
-
A&B or B&A
-
B is sufficient for A
-
A→B
-
B→A
-
A&B or B&A
-
A, given that B
-
A→B
-
B→A
-
A&B or B&A
-
A when B
-
A→B
-
B→A
-
A&B or B&A
-
for B, A is sufficient
-
A→B
-
B→A
-
A&B or B&A
-
for A, B is sufficient
-
A→B
-
B→A
-
A&B or B&A
-
A results in B
-
A→B
-
B→A
-
A&B or B&A
-
A brings about B
-
A→B
-
B→A
-
A&B or B&A
-
A leads to B
-
A→B
-
B→A
-
A&B or B&A
-
B is mandatory for A
-
A→B
-
B→A
-
A&B or B&A
-
B is required for A
-
A→B
-
B→A
-
A&B or B&A
-
A is required for B
-
A→B
-
B→A
-
A&B or B&A
-
a necessary condition for A, is B
-
A→B
-
B→A
-
A&B or B&A
-
only when B, A
-
A→B
-
B→A
-
A&B or B&A
-
B and A
-
A→B
-
B→A
-
A&B or B&A
-
A only in the event that B
-
A→B
-
B→A
-
A&B or B&A
-
A, but B
-
A→B
-
B→A
-
A&B or B&A
-
B, but A
-
A→B
-
B→A
-
A&B or B&A
-
B, however, A
-
A→B
-
B→A
-
A&B or B&A
-
A, however, B
-
A→B
-
B→A
-
A&B or B&A
-
A, moreover B
-
A→B
-
B→A
-
A&B or B&A
-
B, moreover A
-
A→B
-
B→A
-
A&B or B&A
-
a sufficient condition for A, is B
-
A→B
-
B→A
-
A&B or B&A
-
A, nonetheless B
-
A→B
-
B→A
-
A&B or B&A
-
B, nevertheless A
-
A→B
-
B→A
-
A&B or B&A
-
B, yet A
-
A→B
-
B→A
-
A&B or B&A
-
A, yet B
-
A→B
-
B→A
-
A&B or B&A
-
although A, B
-
A→B
-
B→A
-
A&B or B&A
-
although B, A
-
A→B
-
B→A
-
A&B or B&A
-
even though B, A
-
A→B
-
B→A
-
A&B or B&A
-
even though A, B
-
A→B
-
B→A
-
A&B or B&A
-
though A, B
-
A→B
-
B→A
-
A&B or B&A
-
though B, A
-
A→B
-
B→A
-
A&B or B&A
-
while B, A
-
A→B
-
B→A
-
A&B or B&A
-
while A, B
-
A→B
-
B→A
-
A&B or B&A
-
B, although A
-
A→B
-
B→A
-
A&B or B&A
-
A, although B
-
A→B
-
B→A
-
A&B or B&A
-
although A, B
-
A→B
-
B→A
-
A&B or B&A
-
although B, A
-
A→B
-
B→A
-
A&B or B&A
-
while B, A
-
A→B
-
B→A
-
A&B or B&A