lect15 - INTRO LOGIC DAY 15 1 UNIT 3 Predicate Logic...

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

View Full Document Right Arrow Icon
1 1 INTRO LOGIC DAY 15 2 UNIT 3 Predicate Logic Translations
Background image of page 1

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

View Full DocumentRight Arrow Icon
2 3 Overview 9 Exam 1: Sentential Logic Translations (+) 9 Exam 2: Sentential Logic Derivations Exam 3: Predicate Logic Translations Exam 4: Predicate Logic Derivations Exam 5: (finals week*) very similar to Exam 3 Exam 6: (finals week*) very similar to Exam 4 ¹ Exams 5 & 6 Thursday Dec 15 8:00 a.m. Mahar Auditorium 4 Grading Policy When computing your final grade, I count your four highest scores. (A missed exam counts as a zero.)
Background image of page 2
3 5 Atomic Sentences in sentential logic , atomic sentences have no parts [literally, ‘atomic’ means “no cutting”] by contrast, in predicate logic , atomic sentences have parts , although these parts are not sentences 6 Subjects and Predicates in predicate logic, every atomic sentence consists of one predicate and one or more “subjects” (subjects, direct objects, indirect objects, …) in mathematics “subjects” are called “arguments” (a usage that traces to Shakespeare, who used the term ‘argument’ to mean ‘subject’)
Background image of page 3

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

View Full DocumentRight Arrow Icon
4 7 Examples - 1 is a dog Elle is awake Kay is asleep Jay Predicate Subject 8 Examples - 2 Jay is taller than Elle Elle is next to Kay Kay respects Jay Object Predicate Subject
Background image of page 4
5 9 Examples - 3 to from to Jay Elle prefers Kay Jay Elle bought Kay Kay Elle sold Jay Indirect Object Direct Object Predicate Subject 10 What is a Predicate?
Background image of page 5

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

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 16

lect15 - INTRO LOGIC DAY 15 1 UNIT 3 Predicate Logic...

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

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