From rlpowell@digitalkingdom.org Sun Aug 22 21:19:58 2004 Received: with ECARTIS (v1.0.0; list lojban-beginners); Sun, 22 Aug 2004 21:19:58 -0700 (PDT) Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.34) id 1Bz6JK-0004zY-I4 for lojban-beginners@chain.digitalkingdom.org; Sun, 22 Aug 2004 21:19:58 -0700 Date: Sun, 22 Aug 2004 21:19:58 -0700 To: lojban-beginners@chain.digitalkingdom.org Subject: [lojban-beginners] Re: logical proofs? Message-ID: <20040823041958.GD3257@chain.digitalkingdom.org> References: <1093232310.412966b640996@www.gulik.co.nz> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1093232310.412966b640996@www.gulik.co.nz> User-Agent: Mutt/1.5.6+20040722i From: Robin Lee Powell X-archive-position: 717 X-Approved-By: rlpowell@digitalkingdom.org X-ecartis-version: Ecartis v1.0.0 Sender: lojban-beginners-bounce@chain.digitalkingdom.org Errors-to: lojban-beginners-bounce@chain.digitalkingdom.org X-original-sender: rlpowell@digitalkingdom.org Precedence: bulk Reply-to: lojban-beginners@chain.digitalkingdom.org X-list: lojban-beginners On Mon, Aug 23, 2004 at 03:38:30PM +1200, mikevdg@gulik.co.nz wrote: > Is it possible to do logical proofs in lojban? Absolutely. Give me a short one, and I'll translate it (*much* too tired to do this now). > The reason I'm asking is because, so far, I've seen no sign of > language constructs to create a proof other than the very basic > logical connectives (and, or, not, therefore) (disclaimer: I've only > known lojban for a few days). The logical connectives include IFF and IF, and therefore are sufficient. {ro da} is "for all x", and {su'o da} is "there exists an x such that". Approximately. > Also, I couldn't find "proof", "prove", "proves", "theory", "axiom", > "contradiction", "implication" or "statement" nibli, xusra, and natfe cover most of what you're looking for. -Robin -- http://www.digitalkingdom.org/~rlpowell/ *** http://www.lojban.org/ Reason #237 To Learn Lojban: "Homonyms: Their Grate!"