More Definitions

• Logical connectives: and, or, not, =>

• Quantifiers:

  • For all ?
  • There exists ?

• Examples

  • Dumbo is grey
  • Elephants are grey
  • There is a grey elephant

Previous slide

Next slide

Back to first slide

View graphic version