"Consider the following two premises: (1) P is true, and (2) P=>Q is true (read as P implies Q, where P is a set of premises, and Q is a set of conclusions\") If the two premises P and the conditional P=>Q are true, then, by direct proof, Q must also be true." . . . .