Premises:

1. If it rains, the aquaphobes will not vote.
2. John will win only if the aquaphobes and vegetarians vote.
3. Either John or Peter will win, but not both.
4. (conclusion): If it rains, Peter will win.

1.	R &rarr ¬ A	1.	¬ R &or ¬ A
2.	J &rarr A &and V	2.a.	¬ J &or A
		2.b.	¬ J &or V
3.	(J &or P) &and ¬ (J &and P)	3.a.	J &or P
		3.b.	¬ J &or ¬ P
4.	¬ (R &rarr P)	4.a.	R
		4.b.	¬ P
		from 3.a., 4.b.:	5. J
		from 2.a., 5:	6. A
		from 6, 1:	7. ¬ R
		from 4.a., 7:	8. □ Q.E.D.

Contents    Page-10    Prev    Next    Page+10    Index