02-Propositional-Logic

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

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

Propositional Logic Discrete Mathematics

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

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

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

View Full Document
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, ?)
Discrete Mathematics – Propositional Logic 2-5 Compound Statements We cannot decide the truth value of a primitive statement. This is not what logic does.

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

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 12/12/2010 for the course MACM 201 taught by Professor Marnimishna during the Fall '09 term at Simon Fraser.

### 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
Ask a homework question - tutors are online