On Fri, Nov 15, 2002 at 06:51:47PM -0500, Raul Miller wrote: > > Definition: An option F transitively defeats an option G if G > > defeats F or if there is some other option H where H defeats > > G AND F transitively defeats H. > On Sat, Nov 16, 2002 at 09:04:42AM +0100, Jochen Voss wrote: > There is a mistake: "... if G defeats F ..." should be replaced by > "... if F defeats G ...".
*blush* Oops. Thanks. > On Fri, Nov 15, 2002 at 06:51:47PM -0500, Raul Miller wrote: > > Definition: A proposition is a defeat, or a pair of options > > where both have received votes explicitly comparing the two > > options but neither option is able to defeat the other. On Sat, Nov 16, 2002 at 09:11:37AM +0100, Jochen Voss wrote: > Sorry, but I do not understand this definition at all. > > Is a proposition a pair of options with special properties? > And in this case: does "A proposition is a defeat" mean, > that a pair of options A and B where one defeats the other > is a proposition? I'll try to come up with a better definition. A proposition is a pair of options where there are votes which mention one of the options over the other. > On Fri, Nov 15, 2002 at 06:51:47PM -0500, Raul Miller wrote: > > 1. Each ballot orders the options being voted on in the order > > specified by the voter. If the voter does not rank some options, > > this means that the voter prefers all ranked options over the > > unlisted options. Any options unranked by the voter are treated > > as being equal to all other unranked options. On Sat, Nov 16, 2002 at 09:20:15AM +0100, Jochen Voss wrote: > What does "Any options unranked by the voter are treated as > being equal to all other unranked options." mean? How does > it differ from "All unranked options are treated as being > equal"? I was trying to say zero votes without saying zero votes. Obviously that was a mistake. Thanks. -- Raul