lecture2 - Csci 2011: Lecture 2 Propositional Equivalences...

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

View Full Document Right Arrow Icon
Csci 2011: Lecture 2 Propositional Equivalences
Background image of page 1

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

View Full DocumentRight Arrow Icon
Last lecture Proposition Operators: NOT, AND, OR, (XOR) Conditional Statements (implication: if) Biconditional (if and only if)
Background image of page 2
not not and or xor conditional Bi- conditional p q p q p q p q p q p q p q T T F F T T F T T T F F T F T T F F F T T F F T T T F F F T T F F F T T Recap
Background image of page 3

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

View Full DocumentRight Arrow Icon
Exercise Verify these two equivalences using truth tables p q p q p q (p q) (q p)
Background image of page 4
Operator Precedence Not AND OR Implication Biconditional Use parentheses when in doubt
Background image of page 5

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

View Full DocumentRight Arrow Icon
Equivalence Some terminology regarding compound statements: Tautology: always true Example: p p Contradiction: always false Example: p p Contingency: neither a tautology or a contradiction (it depends)
Background image of page 6
Equivalence Two compound propositions p and q are logically equivalent if p q is a tautology Notation: p q We have already seen: p q p q p q (p q) (q p)
Background image of page 7

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

View Full DocumentRight Arrow Icon
Example p T p p T p T T T T F T F
Background image of page 8
Equivalence One way of checking for equivalence is using truth tables Lets take a closer look at implication
Background image of page 9

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

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

This note was uploaded on 10/20/2010 for the course PHYS 1301 taught by Professor Zudov during the Spring '06 term at Minnesota.

Page1 / 34

lecture2 - Csci 2011: Lecture 2 Propositional Equivalences...

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

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