©1992-2000 Colin Allen. Reproduction by any means strictly prohibited.

P v Q, P→R, Q→S |- R v S
Complex Dilemma