Do junctions have a direct representation as predicate logic statements? In particular, do the following logic statements correspond directly to the following perl6 junctions:
LOGIC PERL6 JUNCTION (DESCRIP) ===== ======================== (forall x)(x is true) all (conjunction) (exists x)(x is true) any (disjunction) (forall x)(x is false) none (injunction) (exists x)(x is false) one (abjunction)
I don't have a really clear understanding of junctions (which is why I'm posting this message, to try to clarify junctions in relation to a topic I'm more familiar with), but it seems that the fourth type of junction, "one" is inconsistent with the logic definition.
Maybe "one" should be named "one_isnt", or the logic statement should become (exists a single x)(x is true). Either way, maybe another junction is needed!
Derek Ross.
