= Modus ponens =
{{{
    1.   If P then Q
    2.   P
    -------------------
    3.   Q
}}}

Back to ComputerTerms