EECS
lec03-first-order-logic

lec03-first-order-logic - EECS 203 Winter 2007 Discrete...

Info icon This preview shows pages 1–5. Sign up to view the full content.

EECS 203, Winter 2007 Discrete Mathematics Lecture 3 First-order logic continued January 11 Reading: Rosen [1.3, 1.4] January 11 First-order logic continued, Page 1
Image of page 1

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

3.1 Review Vocabulary of a first-order logic: constants, variables, functions , predicates (or relations ), connectives, quantifier , parenthesis, a special predicate =. Terms : a constant, variable, or f ( t 1 , · · · , t n ) for some function f and terms t 1 , · · · , t n . Well-formed formulas : 1. atomic formulas: P ( t 1 , · · · , t n ) for some predicate P and terms t 1 , · · · , t n . 2. constructed from wffs using connectives. 3. constructed from wffs using quantifiers: ( ), ( ). Free and bound variables : an occurrence of a variable x is free if it is not in the scope of a quantifier x or x . If not free, a variable is bound. A sentence is a wff if all variables are bound. January 11 First-order logic continued, Page 2
Image of page 2
Image of page 3

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

3.2 Models of a first-order logic A model (or interpretation ) M for a first order logic L is a universe U together with an assignment of actual objects in U
Image of page 4
Image of page 5
This is the end of the preview. Sign up to access the rest of the document.
  • Winter '07
  • YaoyunShi
  • Logic, Tn, First-order logic

{[ 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