Article View: sci.logic
Article #533Re: implication truth table
From: Gary Merrill
Date: Wed, 18 Nov 1992 13:49
Date: Wed, 18 Nov 1992 13:49
11 lines
1119 bytes
1119 bytes
In article <TORKEL.92Nov18100921@isis.sics.se>, torkel@sics.se (Torkel Franzen) writes: [ Good example of relations among inference rules omitted. ] Perhaps another way of putting this is that the usual truth-functional interpretation of the material conditional is about the weakest interpretation that satisfies all the "usual" rules of inference. -- Gary H. Merrill [Principal Systems Developer, C Compiler Development] SAS Institute Inc. / SAS Campus Dr. / Cary, NC 27513 / (919) 677-8000 sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm
Technical Details
Message-ID:
<Bxwzqs.H8L@unx.sas.com>Path:
arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!agate!stanford.edu!rock!concert!sas!mozart.unx.sas.com!sasghmReferences:
<1992Nov16.162733.1831@falcon.aamrl.wpafb.af.mil> <TORKEL.92Nov18100921@isis.sics.se>Show Full Headers
Complete Article Headers
Newsgroups: sci.logic Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!agate!stanford.edu!rock!concert!sas!mozart.unx.sas.com!sasghm From: sasghm@theseus.unx.sas.com (Gary Merrill) Subject: Re: implication truth table Originator: sasghm@theseus.unx.sas.com Sender: news@unx.sas.com (Noter of Newsworthy Events) Message-ID: <Bxwzqs.H8L@unx.sas.com> Date: Wed, 18 Nov 1992 13:49:39 GMT References: <1992Nov16.162733.1831@falcon.aamrl.wpafb.af.mil> <TORKEL.92Nov18100921@isis.sics.se> Nntp-Posting-Host: theseus.unx.sas.com Organization: SAS Institute Inc. Lines: 11