SUO: Re: Re: Logic & Programming Languages
From: "wtepfenhart" <firstname.lastname@example.org>
> Most logical formula's will let give me an equally valid truth value for
> choice. The exception occurs when I encorporate some random choice
> that will temporarily give one solution preference. That is, some little
> function that will randomly select between heads and tails. Yet such a
> choice generator is not a logical construct, is it?
If you can make a choice at all, then you are well beyond the confines of
binary logic. See figure 4 of the diagram below. Note that (not true)
presents a choice if we choose to use non binary logic.