lect3 - DeMorgans Laws ( p q ) (p) (q) (p q ) (p) (q) p q...

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

View Full Document Right Arrow Icon
1 DeMorgan’s Laws ¬ ( p q ) ( ¬ p ) ( ¬ q ) ¬ ( p q ) ( ¬ p ) ( ¬ q ) p q p q ¬ ( p q ) ¬ p ¬ q ( ¬ p ) ( ¬ q ) 1 1 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 1 1 ¬ (Peter is tall and fat) Peter is not tall Peter is not fat ¬ (cucumbers are green or seedy) cucumbers are not green cucumbers are not seedy
Background image of page 1

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

View Full DocumentRight Arrow Icon
2 Other important logical equivalences p q ¬ ( p ¬ q ) (proof by contradiction) p q p q ¬ p ¬ p q 1 1 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 1 1 1 ¬ p q
Background image of page 2
3 What is negation of implication? ¬ ( ¬ p q ) p ( ¬ q ) ¬ ( p q )
Background image of page 3

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

View Full DocumentRight Arrow Icon
4 p q q p converse of p q p q ¬ p ¬ q inverse of p q p q p q q p 1 1 1 1 1 0 0 1 0 1 1 0 0 0 1 1 ¬ p ¬ q ¬ p ¬ q 0 0 1 0 1 1 1 0 0 1 1 1 An integer is divisible by 4 it is divisible by 2. An integer is divisible by 2 it is divisible by 4. An integer is not divisible by 4 it is not divisible by 2.
Background image of page 4
5 p q ( ¬ q ) ( ¬ p ) contrapositive of p q p q p q ¬ q ¬ p ( ¬ q ) ( ¬ p ) 1 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 1 Contrapositive law An integer is no divisible by 2 it is not divisible by 4.
Background image of page 5

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

View Full DocumentRight Arrow Icon
6 Double negation: ¬¬ p p p q = ¬ p ¬ q = ¬ ¬ p 1 0 1 0 1 0
Background image of page 6
Commutativity p q q p p q q p Associativity p ( q r ) ( p q ) r p ( q r ) ( p q ) r
Background image of page 7

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

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

This document was uploaded on 07/14/2011.

Page1 / 23

lect3 - DeMorgans Laws ( p q ) (p) (q) (p q ) (p) (q) p q...

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

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