chapter_1_logic2.pdf - Word power Bercita-cita tanpa usaha...

Info icon This preview shows pages 1–13. Sign up to view the full content.

View Full Document Right Arrow Icon
Word poWer Bercita-cita tanpa usaha bukan cita-cita tapi angan-angan
Image of page 1

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
CHAPTER 1: LOGIC Fundamental Discrete Structure BUM1213
Image of page 2
1.1 Propositions 1.2 Logical Connectives 1.3 Logical Equivalences 1.4 Predicates 1.5 Quantifiers 1.6 Valid and Invalid Arguments (Modus Ponens and Modus Tollens) CONTENT
Image of page 3

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
OBJECTIVES At the end of this chapter you should be able to Identify whether a statement is a proposition or not. Solve problems involving logical connectives , determine truth value and construct a truth table . Verify that the proposition (s) is a tautology, contradiction, contingency or logically equivalents . Find the truth values of a predicate . Find the truth and falsity of universal and existential statements . Determine whether an argument is valid ; apply modus ponens and modus tollens in solving problems.
Image of page 4
Introduction • Logic basis of all mathematical reasoning & automated reasoning Rules of logic specify the meaning of mathematical statements Used to distinguish between valid and invalid mathematical arguments How to understand and how to construct mathematical arguments? Logic - a particular way of thinking, especially one which is reasonable and based on good judgment Logic - a formal scientific method of examining or thinking about ideas By Cambridge Advanced Learner’s Dictionary
Image of page 5

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Applications in Computer Science 1. Design of computer circuits 2. The construction of computer programs 3. The verification of the correctness of programs 4. Design of computing machines 5. System specifications 6. Programming languages 7. Artificial intelligence 8. Computer programming
Image of page 6