{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

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

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

1 1 INTRO LOGIC DAY 15 2 UNIT 3 Predicate Logic Translations

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

View Full Document
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.)
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’)

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

View Full Document
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
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?

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

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### 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
Ask a homework question - tutors are online