Re: [bpfk] {ro}, existential import and De Morgan

[John Cowan <cowan@mercury.ccil.org>]

Alex Burka scripsit:

> Ok, so just to clarify what you were correcting, with importing {ro}
> you would say {ro broda cu brode} and {ro da poi broda cu brode} are
> the same thing and require {su'o da broda}, while {ro da ganai broda
> gi brode} is different and just requires a non-empty universe?

Right.  The difference is between restricted and unrestricted quantification.

-- 
John Cowan          http://www.ccil.org/~cowan        cowan@ccil.org
Lope de Vega: "It wonders me I can speak at all.  Some caitiff rogue
did rudely yerk me on the knob, wherefrom my wits yet wander."
An Englishman: "Ay, belike a filchman to the nab'll leave you
crank for a spell." --Harry Turtledove, Ruled Britannia

-- 
You received this message because you are subscribed to the Google Groups "BPFK" group.
To unsubscribe from this group and stop receiving emails from it, send an email to bpfk-list+unsubscribe@googlegroups.com.
To post to this group, send email to bpfk-list@googlegroups.com.
Visit this group at http://groups.google.com/group/bpfk-list.
For more options, visit https://groups.google.com/d/optout.