02-Propositional-Logic

02-Propositional-Logic - Propositional Logic Introduction...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
Propositional Logic Discrete Mathematics
Background image of page 1

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

View Full DocumentRight Arrow Icon
Discrete Mathematics – Propositional Logic 2-2 Use of Logic In mathematics and rhetoric: Give precise meaning to statements. Distinguish between valid and invalid arguments. Provide rules of `correct’ reasoning. Natural language can be very ambiguous `If you do your homework, then you’ll get to watch the game.’ `You do your homework, or you’ll fail the exam.’ = `If you don’t do your homework, then you’ll fail the exam.’ `If you don’t do your homework, then you will not get to watch . ..’
Background image of page 2
Discrete Mathematics – Propositional Logic 2-3 Use of Logic (cntd) In computing: Derive new data / knowledge from existing facts Design of computer circuits. Construction of computer programs. Verification of correctness of programs and circuit design. Specification What the customer really needed How the Programmer understood it What the customer got
Background image of page 3

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

View Full DocumentRight Arrow Icon
Discrete Mathematics – Propositional Logic 2-4 Statements (propositions) Propositional logic deals with statements and their truth values A statement is a declarative sentence that can be true or false Truth values are TRUTH ( T or 1 ) and FALSE ( F or 0 ). Examples: - 1 + 1 = 2 (statement, T) - The moon is made of cheese (statement, F) - Go home! (not statement, imperative) - What a beautiful garden! (not statement, exclamation) - Alice said, `What a beautiful garden!’ (statement, depends on Alice) - y + 1 = 2 (not statement, uncertain) - The God exists (statement, ?)
Background image of page 4
Discrete Mathematics – Propositional Logic 2-5 Compound Statements We cannot decide the truth value of a primitive statement. This is not what logic does.
Background image of page 5

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

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 19

02-Propositional-Logic - Propositional Logic Introduction...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online