Mereology

• A possible primitive: proper part-of relation (PP)

  • asymmetric
  • transitive
  • Pxy =def PPxy _ x=y

• Some further axioms:

Previous slide

Next slide

Back to first slide

View graphic version