Chapter_02-4up(2) - Comp Sci 360 - Fall 2009 Predicate...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon

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

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the 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.

Page1 / 5

Chapter_02-4up(2) - Comp Sci 360 - Fall 2009 Predicate...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online