'Jay respects' presentation slideshows

223 views • 22 slides

289 views • 21 slides

INTRO LOGIC

INTRO LOGIC. Translations in PL 4. DAY 18. Chapter 7 Polyadic Predicate Logic. Examples of Polyadic Predication. Jay. respects. Kay. Jay. respects. some F. Jay. respects. every F. some F. respects. Kay. every F. respects. Kay. some F. respects. some G. some F. respects.

359 views • 20 slides

INTRO LOGIC

INTRO LOGIC. Translations in PL 6. DAY 20. EXAM #3. 25 translations from English into Predicate Logic 4 points each Only final formula is graded. Do intermediate work on scratch paper. EXAM TOPICS 1. Chapter 6. HW. #. example. un-quantified formulas. 6a. 2. JAY and KAY are HAPPY.

247 views • 17 slides

Single Quantifier, Multiple Predicates

Single Quantifier, Multiple Predicates. some S tudent R espects Jay. there is some one. who is a student. AND. who respects Jay. there is some x. x is a student. AND. x respects Jay. ? x. Sx. (. ?. Rxj. ). ? x ( Sx ? Rxj ). Single Quantifier, Multiple Predicates.

278 views • 17 slides

INTRO LOGIC

INTRO LOGIC. Translations in PL 6. DAY 20. EXAM #3. 25 translations from English into Predicate Logic 4 points each Only final formula is graded. Do intermediate work on scratch paper. EXAM TOPICS 1. Chapter 6. HW. #. example. un-quantified formulas. 6a. 2. JAY and KAY are HAPPY.

242 views • 17 slides