Metadata

Version History

Mainly more correct MathML.

Proper MathML.  Moved an aside to next part.

Improved formatting.  Better layout for xor.

Added xor truth table.  Shortened module name.

Fixed some wording.

Named a section for an incoming link.

Fixed a dangling sentence, and added another example of inclusive vs exclusive-or.

Lots of small text changes.
Fixed broken external links.

Updated roles, metadata.

Updated roles and metadata.

S05 version; a few minor touch-ups.

final publish with tags "functions", "relation", "constant" and "apply-rel" is removed

new name

monday publish- so that everyone in the workgroup can publish this module

Created new wff venn diagram(figure 1)

Added maintainer

Sample text

oops include solutions

Sample text

Sample text

Sample text

Sample text

Sample text

Sample text

Sample text

added greiner

release 1

added table of connectives

updated source to work with new scripts

upgraded to cnxml 0.4 (source too)

automatic upgrade to cnxml 0.4

corrected minor typos

corrected minor typo

added cnxn at end

added png image back in

jpg->png in markup

added jpg image

png->jpg in markup

*** empty log message ***

just checking something

just checking something

one more try

*** empty log message ***

@#$%

grrrrrrrr

gif -> png

no changes

tried to print

made it match what is in the tlogic CVS repository

spacing again

fixed proposition typos at the end

updated authors

added figure and made yogi berra quotes into exercises

hang on a sec

nothing

updated author / maintainers

adjusted spacing

Added initial template for new module m10715

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

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. Propositional Logic: propositions, Connexions Web site. http://cnx.org/content/m10715/2.57/, Jan 7, 2009.

American Medical Assocation (AMA) Manual of Style:

Barland I, Greiner J, Kolaitis P, Vardi M, Felleisen M. Propositional Logic: propositions [Connexions Web site]. January 7, 2009. Available at: http://cnx.org/content/m10715/2.57/.

American Psychological Assocation (APA) Publication Manual:

Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. (2009, January 7). Propositional Logic: propositions. Retrieved from the Connexions Web site: http://cnx.org/content/m10715/2.57/

Chicago Manual of Style (Bibliography):

Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. "Propositional Logic: propositions." Connexions. January 7, 2009. http://cnx.org/content/m10715/2.57/.

Chicago Manual of Style (Note):

Ian Barland and others, "Propositional Logic: propositions," Connexions, January 7, 2009, http://cnx.org/content/m10715/2.57/.

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

Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. 2009. Propositional Logic: propositions. Connexions, January 7, 2009. http://cnx.org/content/m10715/2.57/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. Propositional Logic: propositions. Connexions. 7 Jan. 2009 <http://cnx.org/content/m10715/2.57/>.