Some Boolean representations of the propositional calculus
Loading...
Authors
Snider, Leonard A.
Subjects
Advisors
Date of Issue
1964
Date
Publisher
Monterey, CA; Naval Postgraduate School
Language
Abstract
Boolean algebra had long played a well known role in the development of mathematical logic, but even in the propositional calculus there are many problems still to be investigated. Among these is the question of the feasibility of identifying the statement calculus with a Boolean algebra other than the (0, 1) algebra. The theory of Boolean algebra as required for a study of the algebraic aspects of logic is formulated. Characteristics of the equality relation are discussed and the propositional calculus is outlined with early emphasis on the equivalence classes [0] and [1]. The concepts of truth values, truth functions and truth sets are developed. Through these concepts, the statement calculus is identified with a Boolean algebra consisting of more than two elements.
Type
Thesis
Description
Series/Report No
Department
Organization
Identifiers
NPS Report Number
Sponsors
Funding
Format
Citation
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.