只要A, 就B

只有A, 才B / A是B的前提 / A是B的基础

如果A, 那么B

当A, 便B

无A,必无B

如果不A,那么不B

除非A,否则不B

充分必要条件: A <-> B, 读作 A当且仅当B

除非A,否则B

B,除非A

A并且B

不仅A,而且B

虽然A,但是B

先前A,后来B

A或者B

也许A,也许B

可能A,可能B

A要么B

不是A,就是B

┐(A∧B) = ┐A∨┐B

┐(A∨B) = ┐A∧┐B

┐(A要么B) = (┐A∧┐B) ∨ (A∧B)

A -> B = ┐A ∨ B

A∨B = ┐A -> B = ┐B -> A

┐(A -> B) = ┐(┐A ∨ B) = A ∧ ┐B

不是A，否则B = A->B

A ->B 且 ┐A->B ，则 B

A ->B 且 A->┐B ，则 ┐A