1 / 17

1 Everyone that Michael likes likes either Henry or Sue

1 Everyone that Michael likes likes either Henry or Sue 2 Michael likes everyone that both Sue and Rita like 3 Michael likes everyone that either Sue or Rita like 4 Rita doesn’t like Michael but she likes everyone that Michael likes 5 Grizzly bears are dangerous but black bears are not

fola
Download Presentation

1 Everyone that Michael likes likes either Henry or Sue

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 1 Everyone that Michael likes likes either Henry or Sue 2 Michael likes everyone that both Sue and Rita like 3 Michael likes everyone that either Sue or Rita like 4 Rita doesn’t like Michael but she likes everyone that Michael likes 5 Grizzly bears are dangerous but black bears are not 6 Grizzly bears and polar bears are dangerous but black bears are not 7 Every self-respecting polar bear is a good swimmer

  2. 1 Everyone that Michael likes likes either Henry or Sue • x(Lmx  LxsLxh) • Michael likes everyone that both Sue and Rita like • 3 Michael likes everyone that either Sue or Rita like • 4 Rita doesn’t like Michael but she likes everyone that Michael likes • 5 Grizzly bears are dangerous but black bears are not • 6 Grizzly bears and polar bears are dangerous but black bears are not • 7 Every self-respecting polar bear is a good swimmer

  3. 1 Everyone that Michael likes likes either Henry or Sue • x(Lmx  LxsLxh) • Michael likes everyone that both Sue and Rita like • x(Lsx&Lrx  Lmx) • 3 Michael likes everyone that either Sue or Rita like • 4 Rita doesn’t like Michael but she likes everyone that Michael likes • 5 Grizzly bears are dangerous but black bears are not • 6 Grizzly bears and polar bears are dangerous but black bears are not • 7 Every self-respecting polar bear is a good swimmer

  4. 1 Everyone that Michael likes likes either Henry or Sue • x(Lmx  LxsLxh) • Michael likes everyone that both Sue and Rita like • x(Lsx&Lrx  Lmx) • Michael likes everyone that either Sue or Rita like • x(LsxLrx  Lmx) • 4 Rita doesn’t like Michael but she likes everyone that Michael likes • 5 Grizzly bears are dangerous but black bears are not • 6 Grizzly bears and polar bears are dangerous but black bears are not • 7 Every self-respecting polar bear is a good swimmer

  5. 1 Everyone that Michael likes likes either Henry or Sue • x(Lmx  LxsLxh) • Michael likes everyone that both Sue and Rita like • x(Lsx&Lrx  Lmx) • Michael likes everyone that either Sue or Rita like • x(LsxLrx  Lmx) • Rita doesn’t like Michael but she likes everyone that Michael likes • ~Lrm & x(Lmx  Lrx) • 5 Grizzly bears are dangerous but black bears are not • 6 Grizzly bears and polar bears are dangerous but black bears are not • 7 Every self-respecting polar bear is a good swimmer

  6. 1 Everyone that Michael likes likes either Henry or Sue • x(Lmx  LxsLxh) • Michael likes everyone that both Sue and Rita like • x(Lsx&Lrx  Lmx) • Michael likes everyone that either Sue or Rita like • x(LsxLrx  Lmx) • Rita doesn’t like Michael but she likes everyone that Michael likes • ~Lrm & x(Lmx  Lrx) • Grizzly bears are dangerous but black bears are not • x(Gx  Dx) & x(Bx  ~Dx) • 6 Grizzly bears and polar bears are dangerous but black bears are not • 7 Every self-respecting polar bear is a good swimmer

  7. 1 Everyone that Michael likes likes either Henry or Sue • x(Lmx  LxsLxh) • Michael likes everyone that both Sue and Rita like • x(Lsx&Lrx  Lmx) • Michael likes everyone that either Sue or Rita like • x(LsxLrx  Lmx) • Rita doesn’t like Michael but she likes everyone that Michael likes • ~Lrm & x(Lmx  Lrx) • Grizzly bears are dangerous but black bears are not • x(Gx  Dx) & x(Bx  ~Dx) • Grizzly bears and polar bears are dangerous but black bears are not • x(Gx  Px  Dx) & x(Bx  ~Dx) • 7 Every self-respecting polar bear is a good swimmer

  8. 1 Everyone that Michael likes likes either Henry or Sue • x(Lmx  LxsLxh) • Michael likes everyone that both Sue and Rita like • x(Lsx&Lrx  Lmx) • Michael likes everyone that either Sue or Rita like • x(LsxLrx  Lmx) • Rita doesn’t like Michael but she likes everyone that Michael likes • ~Lrm & x(Lmx  Lrx) • Grizzly bears are dangerous but black bears are not • x(Gx  Dx) & x(Bx  ~Dx) • Grizzly bears and polar bears are dangerous but black bears are not • x(Gx  Px  Dx) & x(Bx  ~Dx) • Every self-respecting polar bear is a good swimmer • x(Px & Rxx  Sx)

  9. UD = people 9 Anyone who likes Sue likes Rita x(Lxs  Lxr) 10 Everyone who likes Sue likes Rita 11 If anyone likes Sue, Michael does 12 If everyone likes Sue, Michael does 13 If anyone likes Sue, he or she likes Rita 14 Michael doesn’t like everyone 15 Michael doesn’t like anyone 16 If someone likes Sue, then s/he likes Rita 17 If someone likes Sue, then someone likes Rita

  10. UD = people • 9 Anyone who likes Sue likes Rita • x(Lxs  Lxr) • Everyone who likes Sue likes Rita • the same as 9 • 11 If anyone likes Sue, Michael does • 12 If everyone likes Sue, Michael does • 13 If anyone likes Sue, he or she likes Rita • 14 Michael doesn’t like everyone • 15 Michael doesn’t like anyone • 16 If someone likes Sue, then s/he likes Rita • 17 If someone likes Sue, then someone likes Rita

  11. UD = people • 9 Anyone who likes Sue likes Rita • x(Lxs  Lxr) • Everyone who likes Sue likes Rita • the same as 9 • If anyone likes Sue, Michael does • xLxs  Lms • 12 If everyone likes Sue, Michael does • 13 If anyone likes Sue, he or she likes Rita • 14 Michael doesn’t like everyone • 15 Michael doesn’t like anyone • 16 If someone likes Sue, then s/he likes Rita • 17 If someone likes Sue, then someone likes Rita

  12. UD = people • 9 Anyone who likes Sue likes Rita • x(Lxs  Lxr) • Everyone who likes Sue likes Rita • the same as 9 • If anyone likes Sue, Michael does • xLxs  Lms • If everyone likes Sue, Michael does • xLxs  Lms • 13 If anyone likes Sue, he or she likes Rita • 14 Michael doesn’t like everyone • 15 Michael doesn’t like anyone • 16 If someone likes Sue, then s/he likes Rita • 17 If someone likes Sue, then someone likes Rita

  13. UD = people • 9 Anyone who likes Sue likes Rita • x(Lxs  Lxr) • Everyone who likes Sue likes Rita • the same as 9 • If anyone likes Sue, Michael does • xLxs  Lms • If everyone likes Sue, Michael does • xLxs  Lms • If anyone likes Sue, he or she likes Rita • x(Lxs  Lxr) • 14 Michael doesn’t like everyone • 15 Michael doesn’t like anyone • 16 If someone likes Sue, then s/he likes Rita • 17 If someone likes Sue, then someone likes Rita

  14. UD = people • 9 Anyone who likes Sue likes Rita • x(Lxs  Lxr) • Everyone who likes Sue likes Rita • the same as 9 • If anyone likes Sue, Michael does • xLxs  Lms • If everyone likes Sue, Michael does • xLxs  Lms • If anyone likes Sue, he or she likes Rita • x(Lxs  Lxr) • 14 Michael doesn’t like everyone ~xLmx • 15 Michael doesn’t like anyone • 16 If someone likes Sue, then s/he likes Rita • 17 If someone likes Sue, then someone likes Rita

  15. UD = people • 9 Anyone who likes Sue likes Rita • x(Lxs  Lxr) • Everyone who likes Sue likes Rita • the same as 9 • If anyone likes Sue, Michael does • xLxs  Lms • If everyone likes Sue, Michael does • xLxs  Lms • If anyone likes Sue, he or she likes Rita • x(Lxs  Lxr) • 14 Michael doesn’t like everyone ~xLmx • 15 Michael doesn’t like anyone ~xLmx • 16 If someone likes Sue, then s/he likes Rita • 17 If someone likes Sue, then someone likes Rita

  16. UD = people • 9 Anyone who likes Sue likes Rita • x(Lxs  Lxr) • Everyone who likes Sue likes Rita • the same as 9 • If anyone likes Sue, Michael does • xLxs  Lms • If everyone likes Sue, Michael does • xLxs  Lms • If anyone likes Sue, he or she likes Rita • x(Lxs  Lxr) • 14 Michael doesn’t like everyone ~xLmx • 15 Michael doesn’t like anyone ~xLmx • 16 If someone likes Sue, then s/he likes Rita x(Lxs  Lxr) • 17 If someone likes Sue, then someone likes Rita

  17. UD = people • 9 Anyone who likes Sue likes Rita • x(Lxs  Lxr) • Everyone who likes Sue likes Rita • the same as 9 • If anyone likes Sue, Michael does • xLxs  Lms • If everyone likes Sue, Michael does • xLxs  Lms • If anyone likes Sue, he or she likes Rita • x(Lxs  Lxr) • 14 Michael doesn’t like everyone ~xLmx • 15 Michael doesn’t like anyone ~xLmx • 16 If someone likes Sue, then s/he likes Rita x(Lxs  Lxr) • 17 If someone likes Sue, then someone likes Rita xLxs xLxr

More Related