Advertisement

Propositional Calculus

  • Nancy Baxter
  • Ed Dubinsky
  • Gary Levin

Abstract

In this chapter, we are setting a number of goals for the cognitive development of the student. The most fundamental construction that we are after is that the student should have a mental model of proposition. This should take the form of a representation of Boolean valued variables that can be combined by logical connectives to form Boolean expressions corresponding to logical statements in English. When the variables are replaced by specific Boolean values (true or false), then the expression has a Boolean value. We will try to stimulate this construction by having the student experience the interaction between a logical statement in English, an ISETL (or mathematical) expression that represents the statement, and the computer activities involved in storing and evaluating the expression. Translation back and forth between English and ISETL will be an important activity that will also contribute to the student’s ability to work with formal notation.

Keywords

Mathematical Notation Boolean Function Direct Proof Propositional Calculus Predicate Calculus 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag New York Inc. 1989

Authors and Affiliations

  • Nancy Baxter
    • 1
  • Ed Dubinsky
    • 2
  • Gary Levin
    • 3
  1. 1.Department of Mathematical SciencesDickinson CollegeCarlisleUSA
  2. 2.Departments of Education and MathematicsPurdue UniversityWest LafayetteUSA
  3. 3.Department of Mathematics and Computer ScienceClarkson UniversityPotsdamUSA

Personalised recommendations