Propositional Logic . Propositional logic is a good vehicle to introduce basic properties of logic. Sign up to join this community At the very basic level computers at the microprocessor level work based on 2 states. Logic is an important subject because it teaches relation. This has far reaching effects beyond mathematics, where it is often studied. These are named 1 and 0. Boole had the idea that his algebra could be used to solve logical problems. * It teaches deductive reasoning, such as the difference between reason and fallacy. For example, consider the following: Logic is important because it allows people to enhance the quality of the arguments they make and evaluate arguments constructed by others. One of the most important discoveries for computer science is the development of boolean logic. It is also an essential skill in academic disciplines, such as computer science and mathematics. Boolean Logic Many of our computer databases utilize boolean logic as the basis of querying the database. Computer Science Educators Stack Exchange is a question and answer site for those involved in the field of teaching Computer Science. MIT Press recently published Fundamental Proof Methods in Computer Science, a book by Konstantine Arkoudas and David Musser, a professor emeritus of computer science at the Rensselaer Polytechnic Institute (RPI).The book puts proofs into practice, demonstrating the fundamental role of logic and proof in computer science. It only takes a minute to sign up. It does not provide means to determine the validity (truth or false) of atomic statements. An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory. Instead, it allows you to evaluate the validity of compound statements given the validity of its atomic components. This question can be answered at many levels depending on the knowledge base of the questioner. For Arkoudas, a senior research scientist at Bloomberg, … It was a concept thought up by a genius mathematician named George Boole (1815-1864). Electronic and computer engineers need digital logic to perform their jobs. Digital logic is also key for many other careers in engineering, as well as careers in engineering technology. Boolean logic has a much older history than most computer users imagine.