About: First-Order Logic: using quantifiers
Metadata
| Name: | First-Order Logic: using quantifiers |
| ID: | m10728 |
| Language: | English (en) |
| Summary: | Introducting quantifiers, to upgrade from propositional logic to first-order logic. |
| Subject: | Mathematics and Statistics |
| Keywords: | exists, first-order, for all, quantifier |
| 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) |
|
|
|
| Version: | 2.35 (history) |
| Created: | Jul 9, 2002 12:00 am GMT-5 |
| Revised: | Mar 24, 2009 3:05 pm GMT-5 |
Version History
| Version: | 2.35 Mar 24, 2009 3:05 pm GMT-5 by John Greiner |
| Changes: | Improved MathML. Upgraded to CNXML 0.6. |
|
|
|
| Version: | 2.34 Mar 17, 2009 4:10 pm GMT-5 by John Greiner |
| Changes: | Improved MathML. Upgraded to CNXML 0.6. But if-and-only-if currently doesn't display as infix. |
|
|
|
| Version: | 2.33 Jan 9, 2009 10:48 am US/Central by John Greiner |
| Changes: | Improved MathML |
|
|
|
| Version: | 2.32 Jan 8, 2009 2:14 pm US/Central by John Greiner |
| Changes: | Improved MathML |
|
|
|
| Version: | 2.31 Jan 7, 2009 12:16 pm US/Central by John Greiner |
| Changes: | Improved MathML |
|
|
|
| Version: | 2.30 Jan 29, 2008 3:43 pm US/Central by John Greiner |
| Changes: | Reworded the "sorted" example. Improved some MathML. |
|
|
|
| Version: | 2.29 Nov 16, 2007 12:11 pm US/Central by John Greiner |
| Changes: | Fixed some wording. |
|
|
|
| Version: | 2.28 Jan 30, 2007 9:43 am US/Central by John Greiner |
| Changes: | More MathML. Improved internal layout. Made WaterWorld examples more consistent. |
|
|
|
| Version: | 2.27 Jun 15, 2006 2:58 pm GMT-5 by Ian Barland |
| Changes: | Fixed a mistake in english-vs-formula examples. |
|
|
|
| Version: | 2.26 Feb 7, 2006 1:59 pm US/Central by John Greiner |
| Changes: | Small wording changes; better formatting; more MathML. |
|
|
|
| Version: | 2.25 Oct 3, 2005 2:49 pm GMT-5 by Ian Barland |
| Changes: | Added Hempel's "all crows are black" paradox |
|
|
|
| Version: | 2.24 Mar 15, 2005 8:11 pm US/Central by Ian Barland |
| Changes: | Hah, had the bright idea to run a spell-checker on it... |
|
|
|
| Version: | 2.23 Mar 15, 2005 8:01 pm US/Central by Ian Barland |
| Changes: | More examples of forall+exists; emphasized forall with -->. |
|
|
|
| Version: | 2.22 Mar 10, 2005 3:08 pm US/Central by Ian Barland |
| Changes: | Update roles and metadata. |
|
|
|
| Version: | 2.21 Aug 9, 2004 4:06 pm GMT-5 by Fuching Chi |
| Changes: | final publish |
|
|
|
| Version: | 2.20 Aug 3, 2004 11:13 am GMT-5 by Sarah Trowbridge |
| Changes: | new name |
|
|
|
| Version: | 2.19 Aug 2, 2004 11:37 am GMT-5 by Sarah Trowbridge |
| Changes: | reorganization |
|
|
|
| Version: | 2.18 May 28, 2004 1:48 pm GMT-5 by Ian Barland |
| Changes: | Added Bryan Cash as a maintainer. |
|
|
|
| Version: | 2.17 May 14, 2004 2:24 pm GMT-5 by Ian Barland |
| Changes: | Sarah added as maintainer |
|
|
|
| Version: | 2.16 Mar 15, 2004 3:59 pm US/Central by Ian Barland |
| Changes: | updated roles |
|
|
|
| Version: | 2.15 Feb 4, 2004 7:00 pm US/Central by Ian Barland |
| Changes: | improved notes |
|
|
|
| Version: | 2.14 Feb 17, 2003 12:00 am US/Central by Ian Barland |
| Changes: | Sample text |
|
|
|
| Version: | 2.13 Feb 11, 2003 12:00 am US/Central by Ian Barland |
| Changes: | Sample text |
|
|
|
| Version: | 2.12 Feb 11, 2003 12:00 am US/Central by Ian Barland |
| Changes: | ... |
|
|
|
| Version: | 2.11 Feb 3, 2003 12:00 am US/Central by (Unknown) |
| Changes: | *** empty log message *** |
|
|
|
| Version: | 2.10 Feb 3, 2003 12:00 am US/Central by (Unknown) |
| Changes: | Added maintainer |
|
|
|
| Version: | 2.9 Jan 22, 2003 12:00 am US/Central by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.8 Dec 19, 2002 12:00 am US/Central by (Unknown) |
| Changes: | john\s content overhaul, with mathml changes. |
|
|
|
| Version: | 2.7 Oct 10, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.6 Sep 16, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.5 Jul 31, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | release 1 |
|
|
|
| Version: | 2.4 Jul 30, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | upgraded to cnxml 0.4 |
|
|
|
| Version: | 2.3 Jul 30, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | new scripts |
|
|
|
| Version: | 2.2 Jul 11, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | updated author / maintainers |
|
|
|
| Version: | 2.1 Jul 9, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | fixed spacing |
|
|
|
| Version: | 2.0 Jul 9, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Added initial template for new module m10728 |
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: First-Order Logic: using quantifiers
- the Connexions URL where the work can be found: http://cnx.org/content/m10728/2.35/
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. First-Order Logic: using quantifiers, Connexions Web site. http://cnx.org/content/m10728/2.35/, Mar 24, 2009.
American Medical Assocation (AMA) Manual of Style:
Barland I, Greiner J, Kolaitis P, Vardi M, Felleisen M. First-Order Logic: using quantifiers [Connexions Web site]. March 24, 2009. Available at: http://cnx.org/content/m10728/2.35/.
American Psychological Assocation (APA) Publication Manual:
Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. (2009, March 24). First-Order Logic: using quantifiers. Retrieved from the Connexions Web site: http://cnx.org/content/m10728/2.35/
Chicago Manual of Style (Bibliography):
Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. "First-Order Logic: using quantifiers." Connexions. March 24, 2009. http://cnx.org/content/m10728/2.35/.
Chicago Manual of Style (Note):
Ian Barland and others, "First-Order Logic: using quantifiers," Connexions, March 24, 2009, http://cnx.org/content/m10728/2.35/.
Chicago Manual of Style (Reference, in Author-Date style):
Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. 2009. First-Order Logic: using quantifiers. Connexions, March 24, 2009. http://cnx.org/content/m10728/2.35/.
Modern Languages Association (MLA) Style Manual:
Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. First-Order Logic: using quantifiers. Connexions. 24 Mar. 2009 <http://cnx.org/content/m10728/2.35/>.
Footer
More about this content: Metadata | Version History
This work is licensed by Ian Barland, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen under a Creative Commons Attribution License (CC-BY 1.0), and is an Open Educational Resource.
Last edited by John Greiner on Mar 24, 2009 3:05 pm GMT-5.