lect18 - INTRO LOGIC DAY 18 Translations in PL 4 1 EXAM #3...

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

View Full Document Right Arrow Icon
1 1 INTRO LOGIC DAY 18 Translations in PL 4 2 EXAM #3 Tuesday, in class 25 translations from English into Predicate Logic 4 points each Only final formula is graded. Do intermediate work on scratch paper.
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 Chapter 7 Polyadic Predicate Logic 4 Examples of Polyadic Predication every G respects every F some G respects every F every G respects some F some G respects some F Kay respects every F Kay respects some F every F respects Jay some F respects Jay Kay respects Jay
Background image of page 2
3 5 Example 1 Rxk x x respects Kay no matter who x is you respect Kay no matter who you are everyone respects Kay 6 Example 2 Rxj x x respects Jay there is no x : who respects Jay there is no one no-one respects Jay
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 Example 3 Jay respects x Rjx x x is respected by Jay there is some x : who is respected by Jay there is someone Jay respects someone R is always read in “active voice” 8 Example 3 - redone Rjx x Jay respects x there is some x : Jay respects him (her) there is someone : whom Jay respects there is someone Jay respects someone
Background image of page 4
Image of page 5
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 02/04/2012 for the course PHIL 110 taught by Professor Bohn during the Fall '08 term at UMass (Amherst).

Page1 / 10

lect18 - INTRO LOGIC DAY 18 Translations in PL 4 1 EXAM #3...

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

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