Received: from mail-vw0-f61.google.com ([209.85.212.61])
	by chain.digitalkingdom.org with esmtp (Exim 4.72)
	(envelope-from <lojban-beginners+bncCJ2UzZHuDRCixL3vBBoEL9ybnw@googlegroups.com>)
	id 1QUHHv-0006ts-BM; Wed, 08 Jun 2011 04:51:12 -0700
Received: by vws2 with SMTP id 2sf219780vws.16
        for <multiple recipients>; Wed, 08 Jun 2011 04:51:01 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=domainkey-signature:x-beenthere:received-spf:mime-version
         :in-reply-to:references:date:message-id:subject:from:to
         :x-original-sender:x-original-authentication-results:reply-to
         :precedence:mailing-list:list-id:x-google-group-id:list-post
         :list-help:list-archive:sender:list-subscribe:list-unsubscribe
         :content-type;
        bh=tM3VJDsdvsQAyUxIje5tZ/wawhJYQNXpsomZGAv+N9g=;
        b=cmIbM81U+JVDJ7Fwq6jr2m5UdEdeQ28r9kfU6bkW6zySQwwBLGRPg0in8PM4OzWnXT
         hDcZ4v/pAm+nk1KlsVJZClf+tnYimzZcadEwFw1AenpOmo8FRTLoug5bI+qb5jCKRwBS
         IiZ+wuEcJVN+a5lPa4hZ2Py+uZulJeyas7mio=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:mime-version:in-reply-to:references:date
         :message-id:subject:from:to:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:x-google-group-id:list-post:list-help:list-archive:sender
         :list-subscribe:list-unsubscribe:content-type;
        b=2sEIgYKCYjrQUcaLGMrUfGQmzPiZgDwGiTPrtZhBmr9uLkUI4nETLo9rLulW5qFEc4
         FtW5VHiAp4/7t77XE3VVGjOO/yGIRAVMLdJ8zvEeznQ8jYpl1k4q+smp8+hFQ+ww9WLj
         NcEWWgVI0FNDGhfY6Nt9Hl9lfg4pEyNDj41aY=
Received: by 10.220.78.3 with SMTP id i3mr479828vck.37.1307533858559;
        Wed, 08 Jun 2011 04:50:58 -0700 (PDT)
X-BeenThere: lojban-beginners@googlegroups.com
Received: by 10.52.76.10 with SMTP id g10ls2751020vdw.3.gmail; Wed, 08 Jun
 2011 04:50:57 -0700 (PDT)
Received: by 10.52.174.169 with SMTP id bt9mr72850vdc.5.1307533857672;
        Wed, 08 Jun 2011 04:50:57 -0700 (PDT)
Received: by 10.52.174.169 with SMTP id bt9mr72849vdc.5.1307533857663;
        Wed, 08 Jun 2011 04:50:57 -0700 (PDT)
Received: from mail-vx0-f180.google.com ([209.85.220.180])
        by gmr-mx.google.com with ESMTPS id cy4si374314vdc.1.2011.06.08.04.50.57
        (version=TLSv1/SSLv3 cipher=OTHER);
        Wed, 08 Jun 2011 04:50:57 -0700 (PDT)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.220.180 as permitted sender) client-ip=209.85.220.180;
Received: by mail-vx0-f180.google.com with SMTP id 12so493735vxk.39
        for <lojban-beginners@googlegroups.com>; Wed, 08 Jun 2011 04:50:57 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.52.108.194 with SMTP id hm2mr429286vdb.233.1307533857412; Wed,
 08 Jun 2011 04:50:57 -0700 (PDT)
Received: by 10.52.183.129 with HTTP; Wed, 8 Jun 2011 04:50:57 -0700 (PDT)
In-Reply-To: <BANLkTiksLi8QXKENs3CFei9-w7E7eBWEJg@mail.gmail.com>
References: <BANLkTiksLi8QXKENs3CFei9-w7E7eBWEJg@mail.gmail.com>
Date: Wed, 8 Jun 2011 08:50:57 -0300
Message-ID: <BANLkTikTWyfMpx5cpZ-_DLrcXPM-=L_2Ag@mail.gmail.com>
Subject: Re: [lojban-beginners] 'term'
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: lojban-beginners@googlegroups.com
X-Original-Sender: jjllambias@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of jjllambias@gmail.com designates 209.85.220.180 as permitted sender)
 smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.com
Reply-To: lojban-beginners@googlegroups.com
Precedence: list
Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com
List-ID: <lojban-beginners.googlegroups.com>
X-Google-Group-Id: 300742228892
List-Post: <http://groups.google.com/group/lojban-beginners/post?hl=en_US>, <mailto:lojban-beginners@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban-beginners+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban-beginners?hl=en_US>
Sender: lojban-beginners@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:lojban-beginners+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:lojban-beginners+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Length: 1080

On Wed, Jun 8, 2011 at 5:16 AM, tijlan <jbotijlan@gmail.com> wrote:
> In term logic, the predicate is considered a term, which is not the
> case in Lojban (especially according to its machine grammars). Is the
> term 'term' defined differently? Or is it the definition of
> 'predicate' that's different?

Lojban is based on predicate logic, not term logic. In term logic a
proposition consists of two terms, the subject and the predicate.
That's obviously not the case in Lojban.

You can reproduce term logic by restricting lojban sentences to those
of the form: "term1 me term2"

(with some restrictions on what kind of terms you may use. For example
term2 should not have an outer quantifier).

mu'o mi'e xorxes

-- 
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en.