From gordon.dyke@bluewin.ch Tue Mar 19 07:50:34 2002 Return-Path: X-Sender: gordon.dyke@bluewin.ch X-Apparently-To: lojban@yahoogroups.com Received: (EGP: unknown); 19 Mar 2002 15:50:34 -0000 Received: (qmail 21000 invoked from network); 19 Mar 2002 15:50:33 -0000 Received: from unknown (66.218.66.217) by m2.grp.scd.yahoo.com with QMQP; 19 Mar 2002 15:50:33 -0000 Received: from unknown (HELO mta1n.bluewin.ch) (195.186.1.210) by mta2.grp.scd.yahoo.com with SMTP; 19 Mar 2002 15:50:33 -0000 Received: from oemcomputer (213.3.37.165) by mta1n.bluewin.ch (Bluewin AG 6.0.040) id 3C8339270058F6C1 for lojban@yahoogroups.com; Tue, 19 Mar 2002 16:50:32 +0100 Message-ID: <006701c1cf5e$3ad68fa0$142803d5@oemcomputer> To: "jboste" Subject: Logic course Date: Tue, 19 Mar 2002 16:52:55 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4133.2400 X-MIMEOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 From: "G. Dyke" X-Yahoo-Group-Post: member; u=81437350 X-Yahoo-Profile: gregvdyke As part of my studies, I now have a compulsory study of logic (for computer scientists) for the next 10 weeks or so. As I'm coming up to my year of Lojban, I've now covered most of the concepts we will be studying (if not formally), so I thought it was time that Lojban be explored a bit as far as working with logic is concerned. Here are some of the propositions from our first exercises, which I've tried to render into Lojban. (the "conventional" notation follows my .sig) 1){roda de zo'u li da su'i de du li no} (can only da de and di (w/ subscripts) be used as bound variables ?) what does 1'){roxy. zy. zo'u li xy su'i zy. du li no} mean ? the same as 1)? how long do bound variables last, if propositions are logically connected ? 2){roda rode rodi zo'u du li da su'i de li da su'i di li no .inaja du li de li di} this can also be written 2') {roda su'epada zo'u du li da su'i de li no}, but we are just starting and are not working with languages as powerfull as lojban yet .uinai note: .i du li da li de .i li da du li de .i li da li de du are all equivalent, oh and we are working with whole numbers 3){da zo'u li xy. du li da pi'i da} 4){da zo'u li xy. du li da su'i da} (2 did not belong to universal constants in this exercise) and here's one I'm really not sure about as far as binding is concerned (if you work out that it is false, you are right though): 5){roda zo'u de zo'u li da du li de te'a re .inaja di zo'u li da du li di pi'i vo} -- http://www.myepfl.ch/gregory.dyke .i lo'e to'e makcu cu djica lenu tolcumla morsi kei lo telda'a .i lo'e je'a makcu cu go'i to'ebo le se go'i -------------- A, E are the usual upsidedown quantifiers 1)AxEy(x + y = 0) 2)AxAyAz(x + y = x + z = 0 => y = z) 3)Ey(x = y * y) 4)Ey(x = y + y) 5)Ax(Ez(x = z**2) => Ey(x = y * 4))