Return-Path: <@FINHUTC.HUT.FI:LOJBAN@CUVMB.BITNET>
Received: from FINHUTC.hut.fi by xiron.pc.helsinki.fi  with smtp
	(Linux Smail3.1.28.1 #14) id m0p7AUO-0000PYC; Wed, 8 Dec 93 00:02 EET
Message-Id: <m0p7AUO-0000PYC@xiron.pc.helsinki.fi>
Received: from FINHUTC.HUT.FI by FINHUTC.hut.fi (IBM VM SMTP R1.2.2MX) with BSMTP id 7967; Wed, 08 Dec 93 00:02:50 EET
Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 7963; Wed, 8 Dec 1993 00:02:45 +0200
Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE
 (LMail V1.2a/1.8a) with BSMTP id 8962; Tue, 7 Dec 1993 23:01:43 +0100
Date:         Tue, 7 Dec 1993 19:24:37 +0000
Reply-To:     ucleaar <ucleaar%UCL.AC.UK@FINHUTC.hut.fi>
Sender:       Lojban list <LOJBAN%CUVMB.BITNET@FINHUTC.hut.fi>
From:         ucleaar <ucleaar%UCL.AC.UK@FINHUTC.hut.fi>
Subject:      if king
X-To:         lojban@cuvma.BITNET
To:           Veijo Vilva <veion@XIRON.PC.HELSINKI.FI>
Content-Length: 375
Lines: 18

I am conscious of the need for logical connectives with incomplete
truth tables, e.g.

     "if" X then Y

         X  Y
         T  T  T
         T  F  F
         F  T  ?
         F  F  ?

So answering the question "Is it true that 'if' X then Y"
requires considering only cases where X is true.

I wd use such a connective for most translations of English "if".

-----
And