Disjunctive Syllogism

    1.   If P or Q
    2.   Not Q
    --------------------
    3.   P

Back to ComputerTerms