-
if and only if A, B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
B when and only when A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
B if A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A if B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A when and only when B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
B iff A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
B only if A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A only if B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
only if A, B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
only if B, A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
iff B, A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
if A then, and only then, B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
only when A, B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
B but only if A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
only when B, A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
so long as A, B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
if and only if B, A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A when and only when B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
B when and only when A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
only provided that A, B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A is necessary for B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
B is necessary for A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
B is essential for A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A, but only if B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
B, but not unless A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A but not unless B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
for A, B is necessary
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
for B, A is necessary
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A but not unless B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
B, but only if A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A but only if B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
B is sufficient for A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A, given that B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A when B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
for B, A is sufficient
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
for A, B is sufficient
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A results in B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A is both necessary and sufficient for B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A leads to B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
B is both necessary and sufficient for A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
B is required for A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A is required for B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
a necessary condition for A, is B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
only when B, A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
if and only if B, A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A only in the event that B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A, but B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
B, but A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
B precisely if A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A precisely when B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A, moreover B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
B, moreover A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
a sufficient condition for A, is B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A, nonetheless B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
B, nevertheless A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
B exactly if A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A exactly if B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
although A, B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
although B, A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
even though B, A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
exactly if A, B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
exactly when A, B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
precisely if B, A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
precisely when B, A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
precisely when A, B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
B just in case A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
A just in case B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
although A, B
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
although B, A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A
-
just in case B, A
-
A→B
-
B→A
-
A&B or B&A
-
A↔B or B↔A