Schematic Dictionary

 

A and B : A · B

Both A and B : A · B

Not Both A and B : ~(A · B)

Both A and B not : ~A · ~B

Either A or B : A v B

A alternatively B : A v B

Not either A or B : ~(A v B)

Either A or B not : ~A v ~B

Neither A nor B : ~A · ~B

If A then B : A -> B

A if B : B -> A

Only if A, B : B -> A

A only if B : A -> B

A provided B : B -> A

A implies B : A -> B

A is implied by B : B -> A

A does not imply B : ~ (A -> B)

A is not implied by B : ~ (B -> A)

A is sufficient for B : A -> B

A is not sufficient for B : ~ (A -> B)

A is necessary for B : B -> A

A is equivalent to B : A = B

A if and only if B : A = B

A is not equivalent to B : ~ (A = B)

Unless A, B : ~A -> B

A unless B : ~B -> A

A on condition that B : B -> A

A only on condition that B : A -> B

A on condition and only on condition that B : A = B

Even if A, B : (A v ~A) -> B

A then B, otherwise C : (A -> B) · (~A -> C)

A because B : B / A

Because A, B : A / B

Some other premise indicators : since, for, given that, assume that, the evidence is, it's been observed that, in support of, the relevant data is

A therefore B : A / B

Some other conclusion indicators : hence, so, consequently, it follows that, the result is, the point of all this is, in conclusion.