OpenStax CNX

Sections
You are here: Home » Content » Intro to Logic

About: Intro to Logic

Collection type: Course

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

View the content: Intro to Logic

Metadata

Name: Intro to Logic
ID: col10154
Language: English (en)
Summary: An introduction to reasoning with propositional and first-order logic, with applications to computer science. Part of the TeachLogic Project (www.teachlogic.org).
Collection Subtype: Course
Subject: Science and Technology
Keywords: boolean algebra, first order logic, inference rule, interpretation, logic, model, proof, proposition, propositional logic, quantifier, truth table
License: Creative Commons Attribution License CC-BY 1.0

Authors: Ian Barland (ibarland@radford.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Moshe Vardi (vardi@cs.rice.edu), Matthias Felleisen (matthias@ccs.neu.edu), John Greiner (greiner@cs.rice.edu)
Copyright Holders: Ian Barland (ibarland@radford.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Moshe Vardi (vardi@cs.rice.edu), Matthias Felleisen (matthias@ccs.neu.edu), John Greiner (greiner@cs.rice.edu)
Maintainers: Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu), Fuching Chi (iamjack@rice.edu), Sarah Trowbridge (set@rice.edu)

Latest version: 1.20 (history)
First publication date: Oct 11, 2002 12:00 am GMT-5
Last revision to collection: Jan 29, 2008 3:56 pm US/Central

Downloads

PDF: col10154_1.20.pdf PDF file, for viewing content offline and printing. Learn more.
EPUB: col10154_1.20.epub Electronic book format file, for viewing on mobile devices. Learn more.
Collection Structure XML: col10154_1.20_collection.xml XML that defines the structure of the collection. Cannot be reimported in the editing interface. Learn more.
Source Export ZIP: col10154_1.20_complete.zip The Collection Structure XML, plus the CNXML and included media files for each module in the collection. Cannot be reimported. Learn more.
Offline ZIP: col10154_1.20_offline.zip An offline HTML copy of the content. Also includes XML, included media files, and other support files. Learn more.

Version History

Version: 1.20 Jan 29, 2008 3:56 pm US/Central by John Greiner
Changes:
Updated and fixed a typo in the metadata.

Version: 1.19 Jan 29, 2008 3:51 pm US/Central by John Greiner
Changes:
Renamed a couple sections for consistency.

Version: 1.18 Jan 30, 2007 10:12 am US/Central by John Greiner
Changes:
Added the new first-order WaterWorld reference page.

Version: 1.17 May 9, 2006 12:38 pm GMT-5 by Ian Barland
Changes:
Added acknowledgements.

Version: 1.16 Feb 23, 2006 2:53 pm US/Central by John Greiner
Changes:
Deleted link to outdated page on notation.

Version: 1.15 Jan 31, 2006 2:12 pm US/Central by John Greiner
Changes:
Fixed exercise links

Version: 1.14 Jan 15, 2006 9:04 pm US/Central by Ian Barland
Changes:
Added role for greiner

Version: 1.13 Apr 1, 2005 5:04 pm US/Central by Ian Barland
Changes:
Added nonstandard interpretations,
and 90=100 (if I didn't already do that previously).

Version: 1.12 Mar 10, 2005 3:38 pm US/Central by Ian Barland
Changes:
Updated nearly all the roles.

Version: 1.11 Aug 3, 2004 3:22 pm GMT-5 by Sarah Trowbridge
Changes:
better organization

Version: 1.10 Aug 3, 2004 12:02 pm GMT-5 by Sarah Trowbridge
Changes:
fixed names

Version: 1.9 Aug 2, 2004 12:08 pm GMT-5 by Sarah Trowbridge
Changes:
organization

Version: 1.8 Aug 2, 2004 11:48 am GMT-5 by Sarah Trowbridge
Changes:
reorganization

Version: 1.7 Jul 9, 2004 11:43 am GMT-5 by Sarah Trowbridge
Changes:
changed www.tlogic.org to www.teachlogic.org

Version: 1.6 Jul 9, 2004 11:40 am GMT-5 by Ian Barland
Changes:
adding sarah as a maintainer

Version: 1.5 Jul 9, 2004 11:23 am GMT-5 by Ian Barland
Changes:
adding 'iamjack' as maintainer

Version: 1.4 Jul 8, 2004 4:10 pm GMT-5 by Ian Barland
Changes:
2002, 2003, 2004 versions

Version: 1.3 Jan 22, 2004 11:15 am US/Central by (Unknown)
Changes:
Course composer upgrade

Version: 1.2 Oct 16, 2003 2:16 pm GMT-5 by (Unknown)
Changes:
resubmit

Version: 1.1 Mar 20, 2003 1:25 pm US/Central by Brent Hendricks
Changes:
Initial publication

How to Reuse and Attribute This Content

If you derive a copy of this content using a OpenStax-CNX 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, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen, John Greiner
  • the title of the work: Intro to Logic
  • the OpenStax-CNX URL where the work can be found: http://cnx.org/content/col10154/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.; Kolaitis, P.; Vardi, M.; Felleisen, M.; Greiner, J. Intro to Logic, OpenStax-CNX Web site. http://cnx.org/content/col10154/1.20/, Jan 29, 2008.

American Medical Assocation (AMA) Manual of Style:

Barland I, Kolaitis P, Vardi M, Felleisen M, Greiner J. Intro to Logic [OpenStax-CNX Web site]. January 29, 2008. Available at: http://cnx.org/content/col10154/1.20/.

American Psychological Assocation (APA) Publication Manual:

Barland, I., Kolaitis, P., Vardi, M., Felleisen, M., & Greiner, J. (2008, January 29). Intro to Logic. Retrieved from the OpenStax-CNX Web site: http://cnx.org/content/col10154/1.20/

Chicago Manual of Style (Bibliography):

Barland, Ian, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen, and John Greiner. "Intro to Logic." OpenStax-CNX. January 29, 2008. http://cnx.org/content/col10154/1.20/.

Chicago Manual of Style (Note):

Ian Barland and others, "Intro to Logic," OpenStax-CNX, January 29, 2008, http://cnx.org/content/col10154/1.20/.

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

Barland, I., Kolaitis, P., Vardi, M., Felleisen, M., & Greiner, J. 2008. Intro to Logic. OpenStax-CNX, January 29, 2008. http://cnx.org/content/col10154/1.20/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen, and John Greiner. Intro to Logic. OpenStax-CNX. 29 Jan. 2008 <http://cnx.org/content/col10154/1.20/>.