Unit 13 Logic and Proofs

What is Unit 13 Logic and Proofs

q logic

• The language of propositions

  • man this is just like AA and DC operators :)

• Applications

  • Translating proprisations

• Logical Equivalences

Predicate Logic

• just like Phil 105

  • We are extending propositinoal logic

    • like we are using varibles, because everything isnt binary just like HS operator
      • All, every some and stuff like that

• Variables

  • expressions with varibles are not propositions

    • they dont have truth tables as they are analoge

• Quantifiers

  • English words

    • all
    • some

    • the two most important quatnntifiiers are:

      • universal quantifier: “for all” symbol $\forall$
      • existential quantifier: “there exists” $\exists$

    • Example

      • all stedents in this class took a class n java
        • $\exists xP(x)$

      • some students in thiis class took a class in java

• Worst case senario

  • when the domain of the guy is finate we can think of the worst case senario as the default
    • $\exists xP(x)$ loop through all x in the domain
      • if at some step, p(x) is true, then $\exists xP(x)$

• Equivalence in predicate logic

  • statmens thaht has predicates and quatifiers are equivently

Proofs