lec-2.pdf - CS70:Proofs Today CS70:Proofs Today Woohoo...

This preview shows 1 out of 21 pages.

CS70:Proofs Today!!!
Image of page 1

Subscribe to view the full document.

CS70:Proofs Today!!! Woohoo!!
Image of page 2
Propositional Logic Identities. ¬ ∀ x P ( x ) ≡ ∃ x ¬ P ( x )
Image of page 3

Subscribe to view the full document.

Propositional Logic Identities. ¬ ∀ x P ( x ) ≡ ∃ x ¬ P ( x ) ¬ ∃ x P ( x ) ≡ ∀ x ¬ P ( x )
Image of page 4
Propositional Logic Identities. ¬ ∀ x P ( x ) ≡ ∃ x ¬ P ( x ) ¬ ∃ x P ( x ) ≡ ∀ x ¬ P ( x )
Image of page 5

Subscribe to view the full document.

Propositional Logic Identities. ¬ ∀ x P ( x ) ≡ ∃ x ¬ P ( x ) ¬ ∃ x P ( x ) ≡ ∀ x ¬ P ( x ) ¬ ( P Q ) ≡ ¬ P ∨¬ Q
Image of page 6
Propositional Logic Identities. ¬ ∀ x P ( x ) ≡ ∃ x ¬ P ( x ) ¬ ∃ x P ( x ) ≡ ∀ x ¬ P ( x ) ¬ ( P Q ) ≡ ¬ P ∨¬ Q ¬ ( P Q ) ≡ ¬ P ∨¬ Q
Image of page 7

Subscribe to view the full document.

Propositional Logic Identities. ¬ ∀ x P ( x ) ≡ ∃ x ¬ P ( x ) ¬ ∃ x P ( x ) ≡ ∀ x ¬ P ( x ) ¬ ( P Q ) ≡ ¬ P ∨¬ Q ¬ ( P Q ) ≡ ¬ P ∨¬ Q
Image of page 8
Propositional Logic Identities. ¬ ∀ x P ( x ) ≡ ∃ x ¬ P ( x ) ¬ ∃ x P ( x ) ≡ ∀ x ¬ P ( x ) ¬ ( P Q ) ≡ ¬ P ∨¬ Q ¬ ( P Q ) ≡ ¬ P ∨¬ Q P = Q ≡ ¬ P = ⇒ ¬ Q contrapositive.
Image of page 9

Subscribe to view the full document.

Propositional Logic Identities. ¬ ∀ x P ( x ) ≡ ∃ x ¬ P ( x ) ¬ ∃ x P ( x ) ≡ ∀ x ¬ P ( x ) ¬ ( P Q ) ≡ ¬ P ∨¬ Q ¬ ( P Q ) ≡ ¬ P ∨¬ Q P = Q ≡ ¬ P = ⇒ ¬ Q contrapositive. P = Q ≡ ¬ P Q
Image of page 10
Propositional Logic Identities. ¬ ∀ x P ( x ) ≡ ∃ x ¬ P ( x ) ¬ ∃ x P ( x ) ≡ ∀ x ¬ P ( x ) ¬ ( P Q ) ≡ ¬ P ∨¬ Q ¬ ( P Q ) ≡ ¬ P ∨¬ Q P = Q ≡ ¬ P = ⇒ ¬ Q contrapositive. P = Q ≡ ¬ P Q P = Q
Image of page 11

Subscribe to view the full document.

Propositional Logic Identities. ¬ ∀ x P ( x ) ≡ ∃ x ¬ P ( x ) ¬ ∃ x P ( x ) ≡ ∀ x ¬ P ( x ) ¬ ( P Q ) ≡ ¬ P ∨¬ Q ¬ ( P Q ) ≡ ¬ P ∨¬ Q P = Q ≡ ¬ P = ⇒ ¬ Q contrapositive. P = Q ≡ ¬ P Q P = Q P is antecedent or assumption.
Image of page 12
Propositional Logic Identities. ¬ ∀ x P ( x ) ≡ ∃ x ¬ P ( x ) ¬ ∃ x P ( x ) ≡ ∀ x ¬ P ( x ) ¬ ( P Q ) ≡ ¬ P ∨¬ Q ¬ ( P Q ) ≡ ¬ P ∨¬ Q P = Q ≡ ¬ P = ⇒ ¬ Q contrapositive. P = Q ≡ ¬ P Q P = Q P is antecedent or assumption. Q is consequent or conclusion.
Image of page 13

Subscribe to view the full document.

Review puzzle Theory: If you drink alcohol you must be at least 18.
Image of page 14
Review puzzle Theory: If you drink alcohol you must be at least 18. Which cards do you turn over?
Image of page 15

Subscribe to view the full document.

Review puzzle Theory: If you drink alcohol you must be at least 18. Which cards do you turn over? Write implication and contraposition:
Image of page 16
Review puzzle Theory: If you drink alcohol you must be at least 18. Which cards do you turn over? Write implication and contraposition: Drink = 18”
Image of page 17

Subscribe to view the full document.

Review puzzle Theory: If you drink alcohol you must be at least 18. Which cards do you turn over? Write implication and contraposition: Drink = 18” < 18” = Don’t Drink.
Image of page 18
Review puzzle Theory: If you drink alcohol you must be at least 18. Which cards do you turn over? Write implication and contraposition: Drink = 18” < 18” = Don’t Drink. Its easier now.
Image of page 19

Subscribe to view the full document.

Review puzzle Theory: If you drink alcohol you must be at least 18.
Image of page 20
Image of page 21
You've reached the end of this preview.
  • Fall '08
  • Rappaport
  • Natural number, Prime number, Divisor, contraposition, natural number p

{[ snackBarMessage ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern