Disappointed Voter Problem

“If someone votes for X and someone votes for Y, one of them will be disappointed”

: all(u,v,x,y)(

{votesfor(u,x), votesfor(v,y)}

&=>

{andor(1,1){disappointed(u),

disappointed(v)}}).

: all(u,x)({votesfor(u,x),wins(x)}

&=> {~disappointed{u}}).

Previous slide

Next slide

Back to first slide

View graphic version