SOME BOOLEAN REPRESENTATIONS OF THE PROPOSITIONAL CALCULUS

reportActive / Technical Report | Accession Number: AD0482373 | Open PDF

Abstract:

Boolean algebra has 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.

Author(s):
Snider, Leonard A.
Author Organization(s):
NAVAL POSTGRADUATE SCHOOL MONTEREY CA
Descriptive Note:
Master's thesis
Pagination:
0043

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release; Distribution Is Unlimited.

RECORD

Collection: TR
Identifying Numbers
Monitor Series:
NPS
 Subject Terms
Joint Capability Areas:
JCA_1_Force Support; JCA_1.2_Force Preparation; JCA_1.2.6_Concepts; JCA_1.2.5_Lessons Learned
Communities of Interest:
Energy and Power Technologies
Descriptor(s):
*ALGEBRA, *MATHEMATICAL LOGIC, SET THEORY
Field(s)/Group(s):
Theoretical Mathematics
Keyword(s):
PROPOSITIONAL CALCULUS
Report Date:
1964 Jan 01