Modus ponens

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

Back to ComputerTerms

ModusPonens (last edited 2003-10-03 19:48:51 by yakko)