From rlpowell@digitalkingdom.org Mon Apr 23 21:51:33 2001
Return-Path: <rlpowell@digitalkingdom.org>
X-Sender: rlpowell@digitalkingdom.org
X-Apparently-To: lojban@onelist.com
Received: (EGP: mail-7_1_2); 24 Apr 2001 04:51:33 -0000
Received: (qmail 91807 invoked from network); 24 Apr 2001 04:51:32 -0000
Received: from unknown (10.1.10.26) by l8.egroups.com with QMQP; 24 Apr 2001 04:51:32 -0000
Received: from unknown (HELO chain.digitalkingdom.org) (64.169.75.101) by mta1 with SMTP; 24 Apr 2001 04:51:31 -0000
Received: from rlpowell by chain.digitalkingdom.org with local (Exim 3.22 #1 (Debian)) id 14runS-0007sf-00 for <lojban@onelist.com>; Mon, 23 Apr 2001 21:51:30 -0700
Date: Mon, 23 Apr 2001 21:51:30 -0700
To: lojban@yahoogroups.com
Subject: Usage of logical connectives?
Message-ID: <20010423215130.C28300@digitalkingdom.org>
Mail-Followup-To: lojban@onelist.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.3.17i
From: Robin Lee Powell <rlpowell@digitalkingdom.org>

Take the phrase, said by a parent to a child:

"You can go to the park if you clean your room".

Would .inaja or .ijanai be the correct way to handle this in lojban?

If not, what kind of information would one use the logical connectives
to transmit, outside of a formal proof?

-Robin

-- 
http://www.digitalkingdom.org/~rlpowell/ BTW, I'm male, honest.
le datni cu djica le nu zifre .iku'i .oi le so'e datni cu to'e te pilno
je xlali -- RLP http://www.lojban.org/

