Connexions

Sections
You are here: Home » Content » Exercises for First-Order Logic

About: Exercises for First-Order Logic

Module by: Ian Barland, John Greiner, Fuching Chi. E-mail the authors

View content

Metadata

Name: Exercises for First-Order Logic
ID: m12353
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), Fuching Chi (iamjack@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), Fuching Chi (iamjack@rice.edu), Bri (c@rice.edu), Bryan Cash (seleniat@rice.edu), Sarah Trowbridge (set@rice.edu)
Latest version: 1.28 (history)
First publication date: Aug 3, 2004 12:51 pm GMT-5
Last revision to module: Mar 10, 2009 4:31 pm GMT-5
Module XML: m12353_1.28.cnxml

Version History

Version: 1.28 Mar 10, 2009 4:31 pm GMT-5 by John Greiner
Changes: 
Fixed "proves" symbol.
Version: 1.27 Feb 16, 2009 5:57 pm US/Central by John Greiner
Changes: 
Some wording changes.  Updated to CNXML 0.6.
Version: 1.26 Jan 27, 2009 3:58 pm US/Central by John Greiner
Changes: 
Minor wording changes.
Version: 1.25 Jan 20, 2009 4:29 pm US/Central by John Greiner
Changes: 
Improved some wording and MathML.  Added exercises.
Version: 1.24 Jan 9, 2009 10:50 am US/Central by John Greiner
Changes: 
Improved MathML
Version: 1.23 Jan 7, 2009 5:52 pm US/Central by John Greiner
Changes: 
Eliminated the buggy tl:apply from the original, improving MathML.
Version: 1.22 Jan 7, 2009 12:59 pm US/Central by John Greiner
Changes: 
Improved MathML
Version: 1.21 Jan 24, 2008 2:30 pm US/Central by John Greiner
Changes: 
Moved an exercise into the previous set.
Version: 1.20 Jan 22, 2008 4:44 pm US/Central by John Greiner
Changes: 
Fixed a couple typos and some wording.
Version: 1.19 Jan 22, 2008 4:04 pm US/Central by John Greiner
Changes: 
Added and reorganized exercises.  Changed some formatting and wording.
Version: 1.18 Jan 14, 2008 5:02 pm US/Central by John Greiner
Changes: 
Added more exercises.
Version: 1.17 Jan 31, 2007 1:55 pm US/Central by John Greiner
Changes: 
Fixed wording of one exercise.
Version: 1.16 Jan 31, 2007 1:51 pm US/Central by John Greiner
Changes: 
Added a couple exercises.  Deleted exercises made redundant by having first-order WaterWorld axioms defined.  Reorganized a few exercises.
Version: 1.15 Jan 26, 2007 1:50 pm US/Central by John Greiner
Changes: 
Added an practice exercise.
Version: 1.14 Jan 24, 2007 5:51 pm US/Central by John Greiner
Changes: 
Reworded some problems.  Changed Rosen references for new edition.
Version: 1.13 Feb 27, 2006 9:15 am US/Central by John Greiner
Changes: 
Republish to fix unsynced version numbers.
Version: 1.11 Feb 7, 2006 1:23 pm US/Central by John Greiner
Changes: 
Minor wording changes and more MathML.
Version: 1.10 Jan 31, 2006 8:19 pm US/Central by John Greiner
Changes: 
Cleaned up exercises.
Version: 1.9 Mar 10, 2005 3:20 pm US/Central by Ian Barland
Changes: 
Updated roles and metadata.
Version: 1.8 Feb 14, 2005 9:20 am US/Central by Ian Barland
Changes: 
Fixed #14.
Version: 1.7 Feb 9, 2005 5:49 pm US/Central by Ian Barland
Changes: 
Added problem of proving inherited-methods.
Version: 1.6 Feb 9, 2005 5:11 pm US/Central by Ian Barland
Changes: 
(in the midst of adding an exercise, live...)
Version: 1.5 Feb 9, 2005 4:43 pm US/Central by Ian Barland
Changes: 
Minor updates, for second half (hw04).
Version: 1.4 Feb 3, 2005 6:08 pm US/Central by Ian Barland
Changes: 
clarify WebCT note
Version: 1.3 Feb 3, 2005 4:56 pm US/Central by Ian Barland
Changes: 
webCT rather than grademgr
Version: 1.2 Feb 3, 2005 3:52 pm US/Central by Ian Barland
Changes: 
S'05 hw03.
Version: 1.1 Aug 5, 2004 2:30 pm GMT-5 by Fuching Chi
Changes: 
combined hw03 into hwC

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, Fuching Chi
  • the title of the work: Exercises for First-Order Logic
  • the Connexions URL where the work can be found: http://cnx.org/content/m12353/1.28/

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.; Chi, F. Exercises for First-Order Logic, Connexions Web site. http://cnx.org/content/m12353/1.28/, Mar 10, 2009.

American Medical Assocation (AMA) Manual of Style:

Barland I, Greiner J, Chi F. Exercises for First-Order Logic [Connexions Web site]. March 10, 2009. Available at: http://cnx.org/content/m12353/1.28/.

American Psychological Assocation (APA) Publication Manual:

Barland, I., Greiner, J., & Chi, F. (2009, March 10). Exercises for First-Order Logic. Retrieved from the Connexions Web site: http://cnx.org/content/m12353/1.28/

Chicago Manual of Style (Bibliography):

Barland, Ian, John Greiner, and Fuching Chi. "Exercises for First-Order Logic." Connexions. March 10, 2009. http://cnx.org/content/m12353/1.28/.

Chicago Manual of Style (Note):

Ian Barland, John Greiner, and Fuching Chi, "Exercises for First-Order Logic," Connexions, March 10, 2009, http://cnx.org/content/m12353/1.28/.

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

Barland, I., Greiner, J., & Chi, F. 2009. Exercises for First-Order Logic. Connexions, March 10, 2009. http://cnx.org/content/m12353/1.28/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian, John Greiner, and Fuching Chi. Exercises for First-Order Logic. Connexions. 10 Mar. 2009 <http://cnx.org/content/m12353/1.28/>.