ANALYTICAL CALCULUS OF LOGICAL PROPOSITIONS (BOOLEAN ALGEBRA)

Abstract

Scientists across various fields, particularly in mathematics, have leveraged the distinctive methods of logic and its precise terminology to solve mathematical problems using logical symbols. Notably, George Boole is recognized as the father of Boolean Algebra. The analytical calculus of logical propositions, known as Boolean Algebra, is a branch of Symbolic Logic that employs mathematical methods to study these propositions. The primary objective of this topic is to analyze logical statements and determine their truth or falsity through the application of algebraic operations. The analytical calculus of logical propositions provides powerful tools for a precise and systematic analysis of logic by employing mathematical symbols, facilitating the analysis of complex propositions and the application of results in various fields of science and engineering. The researcher adopts a descriptive-analytical approach, deemed the most suitable methodology for the current study. Analysis of the study objective reveals that contemporary logic represents a decisive and significant advancement in the development of logical science, employing specialized methods for classifying propositions and addressing the shortcomings of traditional Aristotelian logic. Contemporary mathematical logic has added greater precision, comprehensiveness, and verification of the formal validity of inferences.