Connexions

Sections
You are here: Home » Content » Introduction: logic definition

About: Introduction: logic definition

Module by: Ian Barland, John Greiner, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen. E-mail the authors

View content

Metadata

Name: Introduction: logic definition
ID: m12072
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: 1.12 (history)
First publication date: Jun 29, 2004 2:28 pm GMT-5
Last revision to module: Jan 7, 2009 1:04 pm US/Central
Module XML: m12072_1.12.cnxml

Version History

Version: 1.12 Jan 7, 2009 1:04 pm US/Central by John Greiner
Changes: 
Improved MathML
Version: 1.11 Jan 7, 2008 10:10 am US/Central by John Greiner
Changes: 
Minor text changes.
Version: 1.10 Jan 24, 2006 8:00 am US/Central by John Greiner
Changes: 
Made "DeMorgan's Law" a term.
Version: 1.9 Jan 13, 2006 1:47 pm US/Central by John Greiner
Changes: 
Minor wording improvements.
Version: 1.8 Jan 11, 2006 3:51 pm US/Central by Ian Barland
Changes: 
Clarified the text of the examples.
Version: 1.7 Mar 10, 2005 3:22 pm US/Central by Ian Barland
Changes: 
Updated roles and metadata.
Version: 1.6 Jan 17, 2005 6:25 pm US/Central by Ian Barland
Changes: 
Extremely improved examples.
Version: 1.5 Aug 11, 2004 10:30 am GMT-5 by Fuching Chi
Changes: 
final publish
Version: 1.4 Aug 3, 2004 11:13 am GMT-5 by Sarah Trowbridge
Changes: 
new name
Version: 1.3 Aug 2, 2004 12:01 pm GMT-5 by Sarah Trowbridge
Changes: 
added images
Version: 1.2 Aug 2, 2004 11:20 am GMT-5 by Sarah Trowbridge
Changes: 
reorganization
Version: 1.1 Jun 29, 2004 2:43 pm GMT-5 by Sarah Trowbridge
Changes: 
testing upload

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: Introduction: logic definition
  • the Connexions URL where the work can be found: http://cnx.org/content/m12072/1.12/

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. Introduction: logic definition, Connexions Web site. http://cnx.org/content/m12072/1.12/, Jan 7, 2009.

American Medical Assocation (AMA) Manual of Style:

Barland I, Greiner J, Kolaitis P, Vardi M, Felleisen M. Introduction: logic definition [Connexions Web site]. January 7, 2009. Available at: http://cnx.org/content/m12072/1.12/.

American Psychological Assocation (APA) Publication Manual:

Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. (2009, January 7). Introduction: logic definition. Retrieved from the Connexions Web site: http://cnx.org/content/m12072/1.12/

Chicago Manual of Style (Bibliography):

Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. "Introduction: logic definition." Connexions. January 7, 2009. http://cnx.org/content/m12072/1.12/.

Chicago Manual of Style (Note):

Ian Barland and others, "Introduction: logic definition," Connexions, January 7, 2009, http://cnx.org/content/m12072/1.12/.

Chicago Manual of Style (Reference, in Author-Date style):

Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. 2009. Introduction: logic definition. Connexions, January 7, 2009. http://cnx.org/content/m12072/1.12/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. Introduction: logic definition. Connexions. 7 Jan. 2009 <http://cnx.org/content/m12072/1.12/>.