Propositional Calculus

Nancy Baxter, Ed Dubinsky and Gary Levin
Additional contact information
Nancy Baxter: Dickinson College, Department of Mathematical Sciences
Ed Dubinsky: Purdue University, Departments of Education and Mathematics
Gary Levin: Clarkson University, Department of Mathematics and Computer Science

Chapter Chapter 2 in Learning Discrete Mathematics with ISETL, 1989, pp 63-97 from Springer

Abstract: 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 (search for similar items in EconPapers)
Date: 1989
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4612-3592-7_2

Ordering information: This item can be ordered from
http://www.springer.com/9781461235927

DOI: 10.1007/978-1-4612-3592-7_2

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().