MA112-Lecture_Notes-OH-L02

# MA112-Lecture_Notes-OH-L02 - MA112 Discrete Mathematics...

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

MA112 Discrete Mathematics Dr. Omar Hamdy Summer 2010 1 MA112 Discrete Mathematics Omar Hamdy Lecture Notes 2

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

View Full Document
MA112 Discrete Mathematics Dr. Omar Hamdy Summer 2010 2 Review • A statement is a description of something • A proposition is a declarative statement that is true or false. • Compound propositions are made using logical connectives (logical operators) • Proposition statement output is Boolean: either true (T) or false (F)
MA112 Discrete Mathematics Dr. Omar Hamdy Summer 2010 3 Logical Connectives iff Biconditional p?q:true if,then Conditional xor Exclusive or || or Disjunction and Conjunction ! not Negation Java Usage Symbol Operator

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

View Full Document
MA112 Discrete Mathematics Dr. Omar Hamdy Summer 2010 4 Negation Truth Table T F F T p p
MA112 Discrete Mathematics Dr. Omar Hamdy Summer 2010 5 Conjunction Truth Table F F F F T F F F T T T T p q q p • How many combinations?

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

View Full Document
MA112 Discrete Mathematics Dr. Omar Hamdy Summer 2010 6 Disjunction Truth Table F F F T T F T F T T T T p q q p
MA112 Discrete Mathematics Dr. Omar Hamdy Summer 2010 7 Exclusive-Or Truth Table F F F T T F T F T F T T p q q p

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

View Full Document
MA112 Discrete Mathematics Dr. Omar Hamdy Summer 2010 8 Conditional Truth Table T F F T T F F F T T T T p q q p
MA112 Discrete Mathematics Dr. Omar Hamdy Summer 2010 9 Bi-Conditional Truth Table T F F F T F F F T T T T p q q p

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

View Full Document
MA112 Discrete Mathematics Dr. Omar Hamdy Summer 2010 10 Constructing the Truth Table • Construct the truth table for: (p q) (¬p q) T T F F ¬p T T F T p q F T T F ¬p q F F F T T F F F T F T T (p q) (¬p q) q p
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### Page1 / 27

MA112-Lecture_Notes-OH-L02 - MA112 Discrete Mathematics...

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

View Full Document
Ask a homework question - tutors are online