Modus ponens

    1.   If P then Q
    2.   P
    -------------------
    3.   Q

Back to ComputerTerms