CompilerTech

摘要： Let p and q be propositions. The conditional statement p -> q is the proposition "if p, then q ." The conditional statement p -> q is false when p is true and q is false, and true otherwise. In the conditional statement p -> q, p is called the hypothesis (or antecedent or premise) 阅读全文