Metadata

Version History

Changed some wording.  Improved MathML.  Upgraded to CNXML 0.6.

Minor wording changes.

Improved MathML.
Added fences around nested implies, to get around CNX display bug.

Improved MathML.
Added a few exercises.
Reformatted a couple multi-part exercises.

Removed exercise than is in main text.  Improved formatting.

Added more exercises.

Added exercises.  Updated exercise on search engine queries.

Fixed some wording.

Fixed broken link.

Add notes clarifying whether inclusive or exclusive-or was intended.

Changed a problem, since it was answered in a text exercise.

Fixed WW path.

Fixed/reworded a problem.

Added a problem to complete the WW domain axioms.

Improved text and layout.
Reordered practice exercises.

Add a second example (light-rail) to one of the sample exercises.  (It's been there-but-commented-out for a while; I just finished it.)

Updated roles and metadata.

Tweak some details.

Update for 2005.spring comp280.
Commented out all the inference-rule problems; updated a couple of the reasoning problems.  (But have not yet added the iTunes/completeness problem.)

finalized hwA and turned off the solutions

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

Testing if I can change things.

Added Bryan Cash as a maintainer.

Sarah added as maintainer

updated roles

State #20 as being moved to next hw.

Tweak phrasing on #3 ("product X" to "equivalent products"); remove problems 21+.

Whoops, added the spec "just do problems 1-20".

Added a problem,
and updated for initial 04spring release.

Mention a linked-to example by number,
since linking to an anchor
didnot work (from maczilla at least). :-(

Fixed a link and added image.

Removed #23.

took off #23

Replace entities Xscr, Yscr, Zscr
with greek letters.

Added maintainer

Sample text

Sample text

Sample text

Sample text

Sample text

Sample text

Sample text

release 1

*** empty log message ***

trying png AGAIN

removed picture file

hmmm....

gif->png

added peggy as maintainer

grrr

trying to fix  broken page!

Sample text

add link to algebra-rules

typos

typos

touched up

comp280, hw7 release

Added initial template for new module m10514

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. Exercises for Propositional Logic I, Connexions Web site. http://cnx.org/content/m10514/2.57/, Mar 31, 2009.

American Medical Assocation (AMA) Manual of Style:

Barland I, Greiner J, Kolaitis P, Vardi M, Felleisen M. Exercises for Propositional Logic I [Connexions Web site]. March 31, 2009. Available at: http://cnx.org/content/m10514/2.57/.

American Psychological Assocation (APA) Publication Manual:

Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. (2009, March 31). Exercises for Propositional Logic I. Retrieved from the Connexions Web site: http://cnx.org/content/m10514/2.57/

Chicago Manual of Style (Bibliography):

Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. "Exercises for Propositional Logic I." Connexions. March 31, 2009. http://cnx.org/content/m10514/2.57/.

Chicago Manual of Style (Note):

Ian Barland and others, "Exercises for Propositional Logic I," Connexions, March 31, 2009, http://cnx.org/content/m10514/2.57/.

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

Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. 2009. Exercises for Propositional Logic I. Connexions, March 31, 2009. http://cnx.org/content/m10514/2.57/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. Exercises for Propositional Logic I. Connexions. 31 Mar. 2009 <http://cnx.org/content/m10514/2.57/>.