This chapter surveys basic mathematical ideas and language needed in the remainder of the book. The material in this chapter is provided for readers having little experience with the concepts and terminology of modern algebra; other readers may wish to proceed directly to the next chapter. The discussion is informal and only those topics directly applicable to Boolean reasoning are considered. The reader unacquainted with set-theory is cautioned that the sets discussed in this chapter are restricted to be finite,i.e., to comprise only a finite number of elements. A text such as that by Halmos  should be consulted to gain a balanced understanding of the theory of sets.
KeywordsPartial Order Boolean Algebra Algebraic System Fundamental Concept Hasse Diagram
Unable to display preview. Download preview PDF.