= Hypothetical Syllogism =
{{{
    1.   If P, then Q
    2.   If Q, then R
    -----------------------
    3.   If P, then R
}}}

Back to ComputerTerms