Connexions

Sections
You are here: Home » Content » Propositional Logic: formulas

About: Propositional Logic: formulas

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

View content

Metadata

Name: Propositional Logic: formulas
ID: m12073
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), Moshe Vardi (vardi@cs.rice.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Matthias Felleisen (matthias@ccs.neu.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)
Latest version: 1.16 (history)
First publication date: Jul 1, 2004 12:32 pm GMT-5
Last revision to module: Mar 24, 2009 3:01 pm GMT-5
Module XML: m12073_1.16.cnxml

Version History

Version: 1.16 Mar 24, 2009 3:01 pm GMT-5 by John Greiner
Changes: 
Improved some layout and simplified some wording.  Upgraded to CNXML 0.6.
Version: 1.15 Jan 8, 2009 2:47 pm US/Central by John Greiner
Changes: 
Improved MathML.
Added mfence to get around CNX display bug.
Version: 1.14 Jan 7, 2009 1:01 pm US/Central by John Greiner
Changes: 
Improved MathML
Version: 1.13 Feb 6, 2008 9:35 pm US/Central by John Greiner
Changes: 
Moved and reworded an aside from previous section.  Added discussion of precedence.  Proper MathML.
Version: 1.12 Jan 7, 2008 10:19 am US/Central by John Greiner
Changes: 
Minor changes.
Version: 1.11 Jan 16, 2006 9:12 am US/Central by John Greiner
Changes: 
Added definition of truth assignment.  Other minor text changes.
Version: 1.10 Mar 10, 2005 3:31 pm US/Central by Ian Barland
Changes: 
Updated roles, metadata.
Version: 1.9 Jan 21, 2005 5:33 pm US/Central by Ian Barland
Changes: 
minor touch-ups to prose
Version: 1.8 Jan 18, 2005 7:43 am US/Central by Ian Barland
Changes: 
S05 cleanup
Version: 1.7 Aug 11, 2004 10:50 am GMT-5 by Fuching Chi
Changes: 
final publish
Version: 1.6 Aug 6, 2004 4:30 pm GMT-5 by Ian Barland
Changes: 
lal
Version: 1.5 Aug 6, 2004 4:14 pm GMT-5 by Fuching Chi
Changes: 
final publish with tags "functions", "relation", "constant" and "apply-rel" is removed
Version: 1.4 Aug 5, 2004 2:28 pm GMT-5 by Fuching Chi
Changes: 
made the venn diagram easier to read. wffvenn -> jackvenn
Version: 1.3 Aug 3, 2004 11:15 am GMT-5 by Sarah Trowbridge
Changes: 
new name
Version: 1.2 Aug 2, 2004 11:21 am GMT-5 by Sarah Trowbridge
Changes: 
reorganization
Version: 1.1 Jul 1, 2004 12:34 pm GMT-5 by Sarah Trowbridge
Changes: 
created

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, Moshe Vardi, Phokion Kolaitis, Matthias Felleisen
  • the title of the work: Propositional Logic: formulas
  • the Connexions URL where the work can be found: http://cnx.org/content/m12073/1.16/

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.; Vardi, M.; Kolaitis, P.; Felleisen, M. Propositional Logic: formulas, Connexions Web site. http://cnx.org/content/m12073/1.16/, Mar 24, 2009.

American Medical Assocation (AMA) Manual of Style:

Barland I, Greiner J, Vardi M, Kolaitis P, Felleisen M. Propositional Logic: formulas [Connexions Web site]. March 24, 2009. Available at: http://cnx.org/content/m12073/1.16/.

American Psychological Assocation (APA) Publication Manual:

Barland, I., Greiner, J., Vardi, M., Kolaitis, P., & Felleisen, M. (2009, March 24). Propositional Logic: formulas. Retrieved from the Connexions Web site: http://cnx.org/content/m12073/1.16/

Chicago Manual of Style (Bibliography):

Barland, Ian, John Greiner, Moshe Vardi, Phokion Kolaitis, and Matthias Felleisen. "Propositional Logic: formulas." Connexions. March 24, 2009. http://cnx.org/content/m12073/1.16/.

Chicago Manual of Style (Note):

Ian Barland and others, "Propositional Logic: formulas," Connexions, March 24, 2009, http://cnx.org/content/m12073/1.16/.

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

Barland, I., Greiner, J., Vardi, M., Kolaitis, P., & Felleisen, M. 2009. Propositional Logic: formulas. Connexions, March 24, 2009. http://cnx.org/content/m12073/1.16/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian, John Greiner, Moshe Vardi, Phokion Kolaitis, and Matthias Felleisen. Propositional Logic: formulas. Connexions. 24 Mar. 2009 <http://cnx.org/content/m12073/1.16/>.