= Disjunctive Syllogism =
{{{
    1.   If P or Q
    2.   Not Q
    --------------------
    3.   P
}}}

Back to ComputerTerms