©1992-2000 Colin Allen. Reproduction by any means strictly prohibited.
P v Q, P→R, Q→R |- R
Sim
ple
Dil
emma