chapter_1_logic2.pdf

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

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

Word poWer Bercita-cita tanpa usaha bukan cita-cita tapi angan-angan

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

View Full Document
CHAPTER 1: LOGIC Fundamental Discrete Structure BUM1213
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

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

View Full Document
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.
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

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

View Full Document
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