Return-Path: Received: from fiport.funet.fi by xiron.pc.helsinki.fi with smtp (Linux Smail3.1.28.1 #1) id m0rZ4aY-00007eC; Tue, 31 Jan 95 00:28 EET Received: from SEARN.SUNET.SE (MAILER@SEARN) by FIPORT.FUNET.FI (PMDF V4.3-13 #2494) id <01HMH268UIO0000WZW@FIPORT.FUNET.FI>; Mon, 30 Jan 1995 22:24:26 +0200 (EET) Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 3729; Mon, 30 Jan 1995 23:25:17 +0100 Date: Mon, 30 Jan 1995 22:43:45 +0100 (MET) From: Goran Topic Subject: Re: replies re. ka & mamta be ma Sender: Lojban list Reply-to: Goran Topic Message-id: <01HMH269J08M000WZW@FIPORT.FUNET.FI> X-Envelope-to: veion@XIRON.PC.HELSINKI.FI Content-transfer-encoding: 7BIT To: Lojban Listserv Content-Length: 1355 Lines: 32 la .and. cusku zoi glico. > > Functions usually have arguments and values. Given an argument, the > > function gives you a value for that argument. At least that is how > > things work in basic mathematics, I don't know about linguistics. > > My baby logic book says this too. > What I don't understand is why or whether there is a difference > between on the one hand having the function Age, with argument > Sophy and value 30 - Age(Sophy) = 30 - and on the other hand > having a 2-place predicate Age, with arguments Sophy and 30 > - Age(Sophy,30). I have supposed these to be equivalent. .glico .i .ienai .i da selbri gi'anai fancu to .i ro fancu cu selbri .i su'o selbri na fancu toi .i lesedu'u da fancu de di kei selsmu ledu'u rodixipa poi cmima di ba'e pa dexipa po'o poi cmima de zo'u da selbri fidexipa ce'o dixipa .i .a'o ka'e seljmi no'i mu'a zo nanca fancu lo'i prenu lo'ini citno .i roda poi prenu zo'u da nanca lo ba'e pamei to .i nodi nanca lireno .e lirepa toi no'i mu'a zo ponse selbri filo'i prenu .e lo'i selpo'e .i roda poi prenu zo'u da ponse lo ba'e su'onomei .i to de ponse nodi .i de ponse so'adi toi co'o .and. mi'e. goran. poi djica lenu la lojban. se pilno -- Learn languages! The more langs you know, the more incomprehensible you can get e'udoCILreleiBANgu.izo'ozo'onairoBANguteDJUnobedocubanRI'a.ailekadonaka'eSELjmi