Connexions

Sections
You are here: Home » Content » Exercises for Propositional Logic II

About: Exercises for Propositional Logic II

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

View content

Metadata

Name: Exercises for Propositional Logic II
ID: m12352
Language: English (en)
Summary:
Subject: Mathematics and Statistics
Keywords:
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.20 (history)
First publication date: Aug 3, 2004 12:19 pm GMT-5
Last revision to module: Mar 18, 2009 1:55 pm GMT-5
Module XML: m12352_1.20.cnxml

Version History

Version: 1.20 Mar 18, 2009 1:55 pm GMT-5 by John Greiner
Changes: 
Minor changes.
Upgraded to CNXML 0.6.
Version: 1.19 Jan 23, 2009 2:20 pm US/Central by John Greiner
Changes: 
Minor wording and formatting changes.
Version: 1.18 Jan 14, 2009 5:42 pm US/Central by John Greiner
Changes: 
Added an exercise.  Small wording changes.
Version: 1.17 Jan 7, 2009 1:05 pm US/Central by John Greiner
Changes: 
Improved MathML
Version: 1.16 Jan 16, 2008 3:29 pm US/Central by John Greiner
Changes: 
Changed some formatting and wording.
Version: 1.15 Jan 14, 2008 5:01 pm US/Central by John Greiner
Changes: 
Added more exercises.
Version: 1.14 Nov 16, 2007 12:29 pm US/Central by John Greiner
Changes: 
Fixed some wording.
Version: 1.13 Jan 24, 2007 5:50 pm US/Central by John Greiner
Changes: 
Added solutions.
Version: 1.12 Jan 17, 2007 4:18 pm US/Central by John Greiner
Changes: 
Added solutions.  Reordered exercises.
Version: 1.11 Jan 17, 2007 1:31 pm US/Central by John Greiner
Changes: 
Added more exercises.
Version: 1.10 Jun 15, 2006 3:13 pm GMT-5 by Ian Barland
Changes: 
Fixed module# (document id) from m10517 to m12352.
Version: 1.9 Jun 15, 2006 3:05 pm GMT-5 by Ian Barland
Changes: 
Fixed module# (document id) from m10517 to m12352.
Version: 1.8 Jun 15, 2006 2:18 pm GMT-5 by Ian Barland
Changes: 
Fixed the module# (document id) inside the metadata, from old m10517 to new m12352.
Version: 1.7 Jan 24, 2006 8:19 am US/Central by John Greiner
Changes: 
Changed metadata.
Version: 1.6 Jan 24, 2006 8:18 am US/Central by John Greiner
Changes: 
Added new problems.
Moved some problems to later homework.
Version: 1.5 Jan 16, 2006 8:59 am US/Central by John Greiner
Changes: 
Changed a couple example WW axioms for consistency with WW reference.
Version: 1.4 Mar 10, 2005 3:14 pm US/Central by Ian Barland
Changes: 
Updated roles and metadata.
Version: 1.3 Feb 2, 2005 5:39 pm US/Central by Ian Barland
Changes: 
Added the picture to the file (for sol'n set)
Version: 1.2 Jan 27, 2005 2:52 pm US/Central by Ian Barland
Changes: 
S'05 version released for Comp280.
Got rid of duplicates/overlap with hwA.
(Still have some duplicates w/ hwC?)
Version: 1.1 Aug 5, 2004 2:29 pm GMT-5 by Fuching Chi
Changes: 
combined hw02 into hwB

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: Exercises for Propositional Logic II
  • the Connexions URL where the work can be found: http://cnx.org/content/m12352/1.20/

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. Exercises for Propositional Logic II, Connexions Web site. http://cnx.org/content/m12352/1.20/, Mar 18, 2009.

American Medical Assocation (AMA) Manual of Style:

Barland I, Greiner J, Kolaitis P, Vardi M, Felleisen M. Exercises for Propositional Logic II [Connexions Web site]. March 18, 2009. Available at: http://cnx.org/content/m12352/1.20/.

American Psychological Assocation (APA) Publication Manual:

Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. (2009, March 18). Exercises for Propositional Logic II. Retrieved from the Connexions Web site: http://cnx.org/content/m12352/1.20/

Chicago Manual of Style (Bibliography):

Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. "Exercises for Propositional Logic II." Connexions. March 18, 2009. http://cnx.org/content/m12352/1.20/.

Chicago Manual of Style (Note):

Ian Barland and others, "Exercises for Propositional Logic II," Connexions, March 18, 2009, http://cnx.org/content/m12352/1.20/.

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

Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. 2009. Exercises for Propositional Logic II. Connexions, March 18, 2009. http://cnx.org/content/m12352/1.20/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. Exercises for Propositional Logic II. Connexions. 18 Mar. 2009 <http://cnx.org/content/m12352/1.20/>.