Connexions

Sections
You are here: Home » Content » First-order Logic

About: First-order Logic

Module by: Ian Barland. E-mail the author

View content

Metadata

Name: First-order Logic
ID: m10397
Language: English (en)
Summary: We replace long lists of particular statements with a few general statements, involving the quantifiers "for all" and "there exists". We see how this changes our proofs, and rules of inference.
Subject: Mathematics and Statistics, Science and Technology
Keywords: first-order, for all, proof, quantifier, there exists, waterworld
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)
Copyright Holders: Ian Barland (ibarland@radford.edu)
Maintainers: Ian Barland (ibarland@radford.edu), Peggy Fidelman (peggy@rice.edu)
Latest version: 2.6 (history)
First publication date: Nov 13, 2001 12:00 am US/Central
Last revision to module: May 24, 2005 9:03 pm GMT-5
Module XML: m10397_2.6.cnxml

Version History

Version: 2.6 May 24, 2005 9:03 pm GMT-5 by Charlet Reedstrom
Changes: 
update to cnxml-0.5
Version: 2.5 Jul 4, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
change the version from 0.3.5 to 0.4.
Liqun
Version: 2.4 Jun 25, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
*** empty log message ***
Version: 2.3 Jun 24, 2002 12:00 am GMT-5 by (Unknown)
Changes: 
added peggy as maintainer
Version: 2.2 Nov 13, 2001 12:00 am US/Central by (Unknown)
Changes: 
first time around.
Version: 2.1 Nov 13, 2001 12:00 am US/Central by (Unknown)
Changes: 
changed external keywords, abstract.
Version: 2.0 Nov 13, 2001 12:00 am US/Central by (Unknown)
Changes: 
Added initial template for new module m10397

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
  • the title of the work: First-order Logic
  • the Connexions URL where the work can be found: http://cnx.org/content/m10397/2.6/

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. First-order Logic, Connexions Web site. http://cnx.org/content/m10397/2.6/, May 24, 2005.

American Medical Assocation (AMA) Manual of Style:

Barland I. First-order Logic [Connexions Web site]. May 24, 2005. Available at: http://cnx.org/content/m10397/2.6/.

American Psychological Assocation (APA) Publication Manual:

Barland, I. (2005, May 24). First-order Logic. Retrieved from the Connexions Web site: http://cnx.org/content/m10397/2.6/

Chicago Manual of Style (Bibliography):

Barland, Ian. "First-order Logic." Connexions. May 24, 2005. http://cnx.org/content/m10397/2.6/.

Chicago Manual of Style (Note):

Ian Barland, "First-order Logic," Connexions, May 24, 2005, http://cnx.org/content/m10397/2.6/.

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

Barland, I. 2005. First-order Logic. Connexions, May 24, 2005. http://cnx.org/content/m10397/2.6/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian. First-order Logic. Connexions. 24 May 2005 <http://cnx.org/content/m10397/2.6/>.