Lecture Notes in Discrete Mathematics
https://faculty.atu.edu/mfinan/main2.pdfFundamentals of Mathematical Logic Logic is commonly known as the science of reasoning. The emphasis here will be on logic as a working tool. We will develop some of the symbolic techniques required for computer logic. Some of the reasons to study logic are the following: At the hardware level the design of ’logic’ circuits to implement in-
Discrete Mathematics for Computer Science
www2.cs.uh.edu › ~arjun › courses1.12.4 Using Discrete Mathematics in Computer Science 87 CHAPTER 2 Formal Logic 89 2.1 Introduction to Propositional Logic 89 2.1.1 Formulas 92 2.1.2 Expression Trees for Formulas 94 2.1.3 Abbreviated Notation for Formulas 97 2.1.4 Using Gates to Represent Formulas 98 2.2 Exercises 99 2.3 Truth and Logical Truth 102