Existential & Universal Test

• Test for existentiality versus test for universality.

  • Is there a black egg among all eggs? This employs existentiality.
  • Are all eggs white? This employs universality.

• Their codes are different.

Previous slide

Next slide

Back to first slide

View graphic version