View the content:
propositional equivalences
| Name: | propositional equivalences |
| ID: | m10717 |
| Language: | English (en) |
| Summary: | |
| 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: | Fuching Chi (iamjack@rice.edu), Bryan Cash (seleniat@rice.edu), Sarah Trowbridge (set@rice.edu), Bri (c@rice.edu), Justin Garcia (bih@rice.edu), John Greiner (greiner@cs.rice.edu), Peggy Fidelman (peggy@rice.edu), Ian Barland (ibarland@radford.edu) |
|
|
|
| Latest version: | 2.31 (history) |
| First publication date: | Jul 8, 2002 12:00 am GMT-5 |
| Last revision to module: | Aug 2, 2004 11:40 am GMT-5 |
| PDF: | m10717_2.31.pdf | PDF file, for viewing content offline and printing. Learn more. |
| XML: | m10717_2.31.cnxml | XML that defines the structure and contents of the module, minus any included media files. Can be reimported in the editing interface. Learn more. |
| Version: | 2.40 Jan 7, 2009 12:26 pm US/Central by John Greiner |
| Changes: | Improved MathML |
|
|
|
| Version: | 2.39 Feb 7, 2008 8:19 am US/Central by John Greiner |
| Changes: | Proper MathML |
|
|
|
| Version: | 2.38 Nov 16, 2007 12:17 pm US/Central by John Greiner |
| Changes: | Fixed some wording. |
|
|
|
| Version: | 2.37 Jun 15, 2006 4:06 pm GMT-5 by Ian Barland |
| Changes: | Added the "from the rule ..., with a/z,b/2". |
|
|
|
| Version: | 2.36 Mar 10, 2005 3:30 pm US/Central by Ian Barland |
| Changes: | Updated roles, metadata. |
|
|
|
| Version: | 2.35 Jan 21, 2005 5:43 pm US/Central by Ian Barland |
| Changes: | Mentioned contrapositive and converse here (as well as later in IIe). |
|
|
|
| Version: | 2.34 Jan 18, 2005 9:55 am US/Central by Ian Barland |
| Changes: | re-enable solutions |
|
|
|
| Version: | 2.33 Aug 6, 2004 4:23 pm GMT-5 by Fuching Chi |
| Changes: | final publish with tags "functions", "relation", "constant" and "apply-rel" is removed |
|
|
|
| Version: | 2.32 Aug 3, 2004 11:15 am GMT-5 by Sarah Trowbridge |
| Changes: | new name |
|
|
|
| Version: | 2.31 Aug 2, 2004 11:40 am GMT-5 by Ian Barland Currently viewing this version. |
| Changes: | monday publish- so that everyone in the workgroup can publish this module |
|
|
|
| Version: | 2.30 Feb 9, 2003 12:00 am US/Central by Ian Barland |
| Changes: | Fixed soln1,step3 justification. |
|
|
|
| Version: | 2.29 Feb 8, 2003 12:00 am US/Central by Ian Barland |
| Changes: | fix typos. |
|
|
|
| Version: | 2.28 Feb 3, 2003 12:00 am US/Central by (Unknown) |
| Changes: | perhaps nothing |
|
|
|
| Version: | 2.27 Feb 3, 2003 12:00 am US/Central by (Unknown) |
| Changes: | *** empty log message *** |
|
|
|
| Version: | 2.26 Jan 30, 2003 12:00 am US/Central by (Unknown) |
| Changes: | Typo fix (harr to rarr) |
|
|
|
| Version: | 2.25 Jan 30, 2003 12:00 am US/Central by (Unknown) |
| Changes: | neatening up |
|
|
|
| Version: | 2.24 Jan 30, 2003 12:00 am US/Central by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.23 Jan 30, 2003 12:00 am US/Central by (Unknown) |
| Changes: | mathml regression |
|
|
|
| Version: | 2.22 Jan 24, 2003 12:00 am US/Central by (Unknown) |
| Changes: | oops include solutions to sample probs |
|
|
|
| Version: | 2.21 Jan 22, 2003 12:00 am US/Central by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.20 Oct 9, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.19 Oct 9, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.18 Sep 20, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.17 Sep 17, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.16 Sep 10, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.15 Sep 10, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.14 Jul 31, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | release 1 |
|
|
|
| Version: | 2.13 Jul 26, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | upgraded to cnxml 0.4 (source too) |
|
|
|
| Version: | 2.12 Jul 25, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | corrected typos, added notation for CNF, etc. |
|
|
|
| Version: | 2.11 Jul 23, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | *** empty log message *** |
|
|
|
| Version: | 2.10 Jul 23, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | *** empty log message *** |
|
|
|
| Version: | 2.9 Jul 23, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | added demorgan image |
|
|
|
| Version: | 2.8 Jul 23, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | *** empty log message *** |
|
|
|
| Version: | 2.7 Jul 23, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | generating pdf works |
|
|
|
| Version: | 2.6 Jul 23, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | oops |
|
|
|
| Version: | 2.5 Jul 23, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | *** empty log message *** |
|
|
|
| Version: | 2.4 Jul 22, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | nothing |
|
|
|
| Version: | 2.3 Jul 18, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | made this match what is current 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: | formatting and stuff |
|
|
|
| Version: | 2.0 Jul 8, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Added initial template for new module m10717 |
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
See the citation section below for examples you can copy.
The following citation styles comply with the attribution requirements for the license (CC-BY 1.0) of this work:
Barland, I.; Greiner, J. propositional equivalences, Connexions Web site. http://cnx.org/content/m10717/2.31/, Aug 2, 2004.
Barland I, Greiner J. propositional equivalences [Connexions Web site]. August 2, 2004. Available at: http://cnx.org/content/m10717/2.31/.
Barland, I., & Greiner, J. (2004, August 2). propositional equivalences. Retrieved from the Connexions Web site: http://cnx.org/content/m10717/2.31/
Barland, Ian, and John Greiner. "propositional equivalences." Connexions. August 2, 2004. http://cnx.org/content/m10717/2.31/.
Ian Barland and John Greiner, "propositional equivalences," Connexions, August 2, 2004, http://cnx.org/content/m10717/2.31/.
Barland, I., & Greiner, J. 2004. propositional equivalences. Connexions, August 2, 2004. http://cnx.org/content/m10717/2.31/.
Barland, Ian, and John Greiner. propositional equivalences. Connexions. 2 Aug. 2004 <http://cnx.org/content/m10717/2.31/>.
More about this content: Metadata | Downloads | 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 Ian Barland on Aug 2, 2004 11:40 am GMT-5.
