[lojban-beginners] Re: order of sumti effects their meaning?

[Luke Bergen <lukeabergen@gmail.com>]

sorry, I guess I was mis-understanding you.  I suppose my trouble was in understanding predicate logic itself, not necessarily the logical language :)

 - Luke Bergen

On Sat, Apr 18, 2009 at 8:08 PM, Robin Lee Powell <rlpowell@digitalkingdom.org> wrote:

On Sat, Apr 18, 2009 at 06:04:38PM -0400, Luke Bergen wrote:
> I guess where I'm confused is this:
>
> 5.5)  de poi gerku cu batci
>         ro da poi prenu
>     There-is-a-Y which is-a-dog which-bites
>         every Y which is-a-person
>     Some dog bites everyone.
>
> 5.6)  ro da poi prenu cu se batci
>         de poi gerku
>     Every-X which is-a-person is-bitten-by some-Y
>         which is-a-dog.
>
>
> So, in 5.5 "de poi gerku" equates to "some single thing which is a
> dog" but in 5.6 it's "some thing which is a dog".  Why?

I just explained that.  At length.

> When you quantify a variable does that automatically make all
> following variables in terms of it?

Yes.

http://en.wikipedia.org/wiki/First-order_logic

-Robin

--
They say:  "The first AIs will be built by the military as weapons."
And I'm thinking:  "Does it even occur to you to try for something
other than the default outcome?" -- http://shorl.com/tydruhedufogre
http://www.digitalkingdom.org/~rlpowell/ *** http://www.lojban.org/