Article View: sci.logic
Article #255Re: A only if B
From: Burt Voorhees
Date: Tue, 13 Oct 1992 04:25
Date: Tue, 13 Oct 1992 04:25
4 lines
588 bytes
588 bytes
A-->B = if A then B A<-->B = A if and only if B A<--B = A only if B = if B then A This is read: A is true only if B is true since a true statement cannot imply a falsehood.
Technical Details
Message-ID:
<burt.718950333@aupair.cs.athabascau.ca>Path:
arc1-ca.pugleaf.net!sparky!uunet!portal!lll-winken!ames!haven.umd.edu!decuac!pa.dec.com!decwrl!atha!aupair.cs.athabascau.ca!burtReferences:
<rkaivola.718902434@mits> <baljeual.718925223@uther>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!portal!lll-winken!ames!haven.umd.edu!decuac!pa.dec.com!decwrl!atha!aupair.cs.athabascau.ca!burt From: burt@aupair.cs.athabascau.ca (Burt Voorhees) Newsgroups: sci.logic Subject: Re: A only if B Message-ID: <burt.718950333@aupair.cs.athabascau.ca> Date: 13 Oct 92 04:25:33 GMT References: <rkaivola.718902434@mits> <baljeual.718925223@uther> Sender: news@cs.athabascau.ca Lines: 4