'Respects jay' 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

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