Archive for April, 2012

Question

Thursday, April 12th, 2012

What is a suitable name for the third property here?

  1. Monotonicity: A \rightarrow B \vdash (A \wedge C) \rightarrow B
  2. Conjunction: (A \rightarrow B) \wedge (A \rightarrow C) \vdash A \rightarrow (B \wedge C)
  3. ???: (A \rightarrow C) \wedge (B \rightarrow D) \vdash (A \wedge B) \rightarrow (C \wedge D)