About: Propositional Logic: truth tables
Metadata
| Name: | Propositional Logic: truth tables |
| ID: | m10716 |
| 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), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Moshe Vardi (vardi@cs.rice.edu), Matthias Felleisen (matthias@ccs.neu.edu) |
| Copyright Holders: | Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Moshe Vardi (vardi@cs.rice.edu), Matthias Felleisen (matthias@ccs.neu.edu) |
| Maintainers: | Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu) |
|
|
|
| Latest version: | 2.35 (history) |
| First publication date: | Jul 8, 2002 12:00 am GMT-5 |
| Last revision to module: | Jan 20, 2009 2:09 pm US/Central |
|
|
|
| Module XML: | m10716_2.35.cnxml |
Version History
| Version: | 2.35 Jan 20, 2009 2:09 pm US/Central by John Greiner |
| Changes: | Added parens to get around CNX MathML display bug. |
|
|
|
| Version: | 2.34 Jan 7, 2009 12:49 pm US/Central by John Greiner |
| Changes: | Improved MathML |
|
|
|
| Version: | 2.33 Feb 7, 2008 8:16 am US/Central by John Greiner |
| Changes: | Proper MathML. |
|
|
|
| Version: | 2.32 Jan 8, 2008 3:03 pm US/Central by John Greiner |
| Changes: | Improved formatting, plus minor changes. |
|
|
|
| Version: | 2.31 Mar 10, 2005 3:52 pm US/Central by Ian Barland |
| Changes: | Updated roles, metadata. |
|
|
|
| Version: | 2.30 Jan 21, 2005 5:37 pm US/Central by Ian Barland |
| Changes: | Improved use of WW domain axioms when reasoning w/ truth-tables. |
|
|
|
| Version: | 2.29 Jan 18, 2005 9:51 am US/Central by Ian Barland |
| Changes: | re-enable solutions.. |
|
|
|
| Version: | 2.28 Aug 6, 2004 4:17 pm GMT-5 by Fuching Chi |
| Changes: | final publish with tags "functions", "relation", "constant" and "apply-rel" is removed |
|
|
|
| Version: | 2.27 Aug 3, 2004 11:20 am GMT-5 by Sarah Trowbridge |
| Changes: | new name |
|
|
|
| Version: | 2.26 Aug 2, 2004 11:41 am GMT-5 by Ian Barland |
| Changes: | monday publish- so that everyone in the workgroup can publish this module |
|
|
|
| Version: | 2.25 May 28, 2004 1:47 pm GMT-5 by Ian Barland |
| Changes: | Added Bryan Cash as a maintainer. |
|
|
|
| Version: | 2.24 May 14, 2004 1:59 pm GMT-5 by Ian Barland |
| Changes: | Sarah added as maintainer |
|
|
|
| Version: | 2.23 Mar 15, 2004 3:55 pm US/Central by Ian Barland |
| Changes: | updated roles |
|
|
|
| Version: | 2.22 Feb 3, 2003 12:00 am US/Central by (Unknown) |
| Changes: | Added maintainer |
|
|
|
| Version: | 2.21 Jan 30, 2003 12:00 am US/Central by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.20 Jan 24, 2003 12:00 am US/Central by (Unknown) |
| Changes: | oops include solns to sample probs |
|
|
|
| Version: | 2.19 Jan 21, 2003 12:00 am US/Central by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.18 Oct 29, 2002 12:00 am US/Central by (Unknown) |
| Changes: | Math now in mathml. |
|
|
|
| Version: | 2.17 Oct 25, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.16 Oct 9, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.15 Sep 20, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.14 Sep 17, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.13 Sep 10, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.12 Sep 10, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.11 Jul 31, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | release 1 |
|
|
|
| Version: | 2.10 Jul 26, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | upgraded to cnxml 0.4 (source too) |
|
|
|
| Version: | 2.9 Jul 24, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | corrected typos and solution to first exercise |
|
|
|
| Version: | 2.8 Jul 23, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | fixed some typos |
|
|
|
| Version: | 2.7 Jul 23, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | *** empty log message *** |
|
|
|
| Version: | 2.6 Jul 23, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | markup and cnxn |
|
|
|
| Version: | 2.5 Jul 23, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | *** empty log message *** |
|
|
|
| Version: | 2.4 Jul 23, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | *** empty log message *** |
|
|
|
| Version: | 2.3 Jul 22, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | nothing |
|
|
|
| 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: | minor typo correction |
|
|
|
| Version: | 2.0 Jul 8, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Added initial template for new module m10716 |
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, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen
- the title of the work: Propositional Logic: truth tables
- the Connexions URL where the work can be found: http://cnx.org/content/m10716/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.; Kolaitis, P.; Vardi, M.; Felleisen, M. Propositional Logic: truth tables, Connexions Web site. http://cnx.org/content/m10716/2.35/, Jan 20, 2009.
American Medical Assocation (AMA) Manual of Style:
Barland I, Greiner J, Kolaitis P, Vardi M, Felleisen M. Propositional Logic: truth tables [Connexions Web site]. January 20, 2009. Available at: http://cnx.org/content/m10716/2.35/.
American Psychological Assocation (APA) Publication Manual:
Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. (2009, January 20). Propositional Logic: truth tables. Retrieved from the Connexions Web site: http://cnx.org/content/m10716/2.35/
Chicago Manual of Style (Bibliography):
Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. "Propositional Logic: truth tables." Connexions. January 20, 2009. http://cnx.org/content/m10716/2.35/.
Chicago Manual of Style (Note):
Ian Barland and others, "Propositional Logic: truth tables," Connexions, January 20, 2009, http://cnx.org/content/m10716/2.35/.
Chicago Manual of Style (Reference, in Author-Date style):
Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. 2009. Propositional Logic: truth tables. Connexions, January 20, 2009. http://cnx.org/content/m10716/2.35/.
Modern Languages Association (MLA) Style Manual:
Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. Propositional Logic: truth tables. Connexions. 20 Jan. 2009 <http://cnx.org/content/m10716/2.35/>.
Footer
More about this content: Metadata | Version History
This work is licensed by Ian Barland, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen under a Creative Commons Attribution License (CC-BY 1.0), and is an Open Educational Resource.
Last edited by John Greiner on Jan 20, 2009 2:09 pm US/Central.