About: Propositional Logic: inference rules
Metadata
| Name: | Propositional Logic: inference rules |
| ID: | m10718 |
| Language: | English (en) |
| Summary: | |
| Subject: | Mathematics and Statistics |
| Keywords: | |
| Document Type: | -//CNX//DTD CNXML 0.5 plus MathML//EN |
| License: | Creative Commons Attribution License CC-BY 1.0 |
|
|
|
| Authors: | Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu) |
| Copyright Holders: | Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu) |
| Maintainers: | Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu) |
|
|
|
| Latest version: | 2.35 (history) |
| First publication date: | Jul 7, 2002 7:00 pm GMT-5 |
| Last revision to module: | Jan 7, 2009 12:33 pm US/Central |
|
|
|
| Module XML: | m10718_2.35.cnxml |
Version History
| Version: | 2.35 Jan 7, 2009 12:33 pm US/Central by John Greiner |
| Changes: | Improved MathML |
|
|
|
| Version: | 2.34 Feb 7, 2008 5:54 pm US/Central by John Greiner |
| Changes: | Proper MathML. Fixed missing blank spaces. |
|
|
|
| Version: | 2.33 Jan 7, 2008 10:22 am US/Central by John Greiner |
| Changes: | Added more explanation to first formal inference rule use. Made some proof justifications more consistent. |
|
|
|
| Version: | 2.32 Mar 22, 2006 2:37 pm US/Central by John Greiner |
| Changes: | Minor corrections. |
|
|
|
| Version: | 2.31 Jan 26, 2006 2:56 pm US/Central by John Greiner |
| Changes: | Fixed and-commutativity example. Small wording and formatting changes. |
|
|
|
| Version: | 2.30 Mar 10, 2005 3:32 pm US/Central by Ian Barland |
| Changes: | Updated roles, metadata. |
|
|
|
| Version: | 2.29 Aug 11, 2004 11:01 am GMT-5 by Fuching Chi |
| Changes: | final pubish |
|
|
|
| Version: | 2.28 Aug 3, 2004 11:16 am GMT-5 by Sarah Trowbridge |
| Changes: | new name |
|
|
|
| Version: | 2.27 Aug 2, 2004 11:36 am GMT-5 by Sarah Trowbridge |
| Changes: | reorganization |
|
|
|
| Version: | 2.26 May 28, 2004 1:47 pm GMT-5 by Ian Barland |
| Changes: | Added Bryan Cash as a maintainer. |
|
|
|
| Version: | 2.25 May 14, 2004 2:05 pm GMT-5 by Ian Barland |
| Changes: | Sarah added as maintainer |
|
|
|
| Version: | 2.24 Mar 15, 2004 3:56 pm US/Central by Ian Barland |
| Changes: | updated roles |
|
|
|
| Version: | 2.23 Jan 27, 2004 4:07 pm US/Central by Ian Barland |
| Changes: | Updated example8: wffX,wffY reversed in conclusion. |
|
|
|
| Version: | 2.22 Jan 26, 2004 4:48 pm US/Central by Ian Barland |
| Changes: | Big new update. |
|
|
|
| Version: | 2.21 Feb 9, 2003 12:00 am US/Central by Ian Barland |
| Changes: | Fixed anchor, added pic. |
|
|
|
| Version: | 2.20 Feb 3, 2003 12:00 am US/Central by (Unknown) |
| Changes: | Added maintainer |
|
|
|
| Version: | 2.19 Jan 30, 2003 12:00 am US/Central by (Unknown) |
| Changes: | synced m:not with the regression! |
|
|
|
| Version: | 2.18 Jan 30, 2003 12:00 am US/Central by (Unknown) |
| Changes: | mathml regression |
|
|
|
| Version: | 2.17 Jan 24, 2003 12:00 am US/Central by (Unknown) |
| Changes: | oops include problem-solns |
|
|
|
| Version: | 2.16 Jan 22, 2003 12:00 am US/Central by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.15 Oct 25, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.14 Oct 24, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | partIId-example.gif --> .png |
|
|
|
| Version: | 2.13 Oct 17, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.12 Oct 10, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | added partIId-example.gif |
|
|
|
| Version: | 2.11 Oct 10, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.10 Sep 10, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.9 Sep 10, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.8 Jul 31, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | release 1 |
|
|
|
| Version: | 2.7 Jul 26, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | upgraded to cnxml 0.4 (source too) |
|
|
|
| Version: | 2.6 Jul 25, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | fixed typos, fixed first example, added link to inference rules |
|
|
|
| Version: | 2.5 Jul 22, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | *** empty log message *** |
|
|
|
| Version: | 2.4 Jul 19, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | took out that extra "or" in step 3 |
|
|
|
| Version: | 2.3 Jul 18, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | made this match the current copy in the CVS repository |
|
|
|
| Version: | 2.2 Jul 11, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | updated author / maintainers |
|
|
|
| Version: | 2.1 Jul 8, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | played with spacing (which is still bad...) |
|
|
|
| Version: | 2.0 Jul 8, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Added initial template for new module m10718 |
How to Reuse and Attribute This Content
If you derive a copy of this content using a Connexions account and publish your version, proper attribution of the original work will be automatically done for you.
If you reuse this work elsewhere, in order to comply with the attribution requirements of the license (CC-BY 1.0), you must include
- the authors' names: Ian Barland, John Greiner
- the title of the work: Propositional Logic: inference rules
- the Connexions URL where the work can be found: http://cnx.org/content/m10718/2.35/
See the citation section below for examples you can copy.
How to Cite and Attribute This Content
The following citation styles comply with the attribution requirements for the license (CC-BY 1.0) of this work:
American Chemical Society (ACS) Style Guide:
Barland, I.; Greiner, J. Propositional Logic: inference rules, Connexions Web site. http://cnx.org/content/m10718/2.35/, Jan 7, 2009.
American Medical Assocation (AMA) Manual of Style:
Barland I, Greiner J. Propositional Logic: inference rules [Connexions Web site]. January 7, 2009. Available at: http://cnx.org/content/m10718/2.35/.
American Psychological Assocation (APA) Publication Manual:
Barland, I., & Greiner, J. (2009, January 7). Propositional Logic: inference rules. Retrieved from the Connexions Web site: http://cnx.org/content/m10718/2.35/
Chicago Manual of Style (Bibliography):
Barland, Ian, and John Greiner. "Propositional Logic: inference rules." Connexions. January 7, 2009. http://cnx.org/content/m10718/2.35/.
Chicago Manual of Style (Note):
Ian Barland and John Greiner, "Propositional Logic: inference rules," Connexions, January 7, 2009, http://cnx.org/content/m10718/2.35/.
Chicago Manual of Style (Reference, in Author-Date style):
Barland, I., & Greiner, J. 2009. Propositional Logic: inference rules. Connexions, January 7, 2009. http://cnx.org/content/m10718/2.35/.
Modern Languages Association (MLA) Style Manual:
Barland, Ian, and John Greiner. Propositional Logic: inference rules. Connexions. 7 Jan. 2009 <http://cnx.org/content/m10718/2.35/>.
Footer
More about this content: Metadata | Version History
This work is licensed by Ian Barland and John Greiner under a Creative Commons Attribution License (CC-BY 1.0), and is an Open Educational Resource.
Last edited by John Greiner on Jan 7, 2009 12:33 pm US/Central.