EECS
lec03-first-order-logic

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

• Notes
• 8

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

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

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

• 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.

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

• 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.

Dana University of Pennsylvania ‘17, Course Hero Intern

• 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.

Jill Tulane University ‘16, Course Hero Intern