This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: Comp Sci 360 - Fall 2009 Predicate Logic All about Quantifers Sunday, August 30, 2009 Propositional Logic - Limited Expressivity Predicate Logic Express Properties about specifc individuals Express Relationships between individuals John Hannan - Comp Sci 360 - Fall 2009 Propositions & Predicates Sunday, August 30, 2009 John Hannan - Comp Sci 360 - Fall 2009 Example All men are mortal Socrates is a man Socrates is mortal Some men are wise Is Socrates wise? Sunday, August 30, 2009 Predicates consist oF one or more variables, (subjects) and a property/relation between them: “x>3,” “computer y is online,” “x likes y” A predicate symbol represents the property: gr3(x) online(y) likes(x,y) We Form instances oF predicates: gr3(2) gr3(7) online(curry) likes(alice,bob) John Hannan - Comp Sci 360 - Fall 2009 Predicates Sunday, August 30, 2009 Predicates Variables and Domains Truth Sets John Hannan - Comp Sci 360 - Fall 2009 Predicate Logic Sunday, August 30, 2009 All men are mortal Some women are doctors...
View Full Document
This note was uploaded on 10/04/2009 for the course CMPSC 360 taught by Professor Haullgren during the Fall '08 term at Pennsylvania State University, University Park.
- Fall '08