Hypothetical Syllogism
1. If P, then Q
2. If Q, then R
-----------------------
3. If P, then RBack to ComputerTerms
1. If P, then Q
2. If Q, then R
-----------------------
3. If P, then RBack to ComputerTerms