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

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

Ozymandias Haynes scripsit:

> In examples 11.5 through 11.7, the
> predicate logic negation theorem is applied to "ro da poi" statements.

Ah.  In that case, those examples are wrong and should be fixed (someone
should mark the wiki, or wherever the errata go nowadays).  As I'm sure
you can imagine, it's damned hard to keep a consistent point of view
throughout such a book, especially when the semantic interpretations
changed during the period of writing it.

Sorry for the noise.

-- 
John Cowan          http://www.ccil.org/~cowan        cowan@ccil.org
        You tollerday donsk?  N.  You tolkatiff scowegian?  Nn.
        You spigotty anglease?  Nnn.  You phonio saxo?  Nnnn.
                Clear all so!  `Tis a Jute.... (Finnegans Wake 16.5)

-- 
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.