©1992-2000 Colin Allen. Reproduction by any means strictly prohibited.
P→Q, Q→R |- P→R
H
ypothetical
S
yllogism