Received: from ELI.CS.YALE.EDU by NEBULA.SYSTEMSZ.CS.YALE.EDU via SMTP; Tue, 7 Dec 1993 14:29:54 -0500
Received: from YALEVM.YCC.YALE.EDU by eli.CS.YALE.EDU via SMTP; Tue, 7 Dec 1993 14:05:23 -0500
Message-Id: <199312071905.AA03190@eli.CS.YALE.EDU>
Received: from CUVMB.CC.COLUMBIA.EDU by YaleVM.YCC.Yale.Edu (IBM VM SMTP V2R2)    with BSMTP id 3119; Tue, 07 Dec 93 14:28:31 EST
Received: from CUVMB.COLUMBIA.EDU by CUVMB.CC.COLUMBIA.EDU (Mailer R2.07) with  BSMTP id 5501; Tue, 07 Dec 93 14:28:50 EDT
Date:         Tue, 7 Dec 1993 19:24:37 +0000
Reply-To: ucleaar <ucleaar@UCL.AC.UK>
Sender: Lojban list <LOJBAN%CUVMB.bitnet@YaleVM.YCC.YALE.EDU>
From: ucleaar <ucleaar@UCL.AC.UK>
Subject:      if king
X-To:         lojban@cuvma.BITNET
To: Erik Rauch <rauch>
Status: RO
X-Status: 
X-From-Space-Date: Tue Dec  7 19:24:37 1993
X-From-Space-Address: @YaleVM.YCC.YALE.EDU:LOJBAN@CUVMB.BITNET

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