Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.


  • The concept Human is defined as the disjunction between Man and Woman:
  • ?x memberOf Human equivalent ?x memberOf Woman or ?x memberOf Man
  • The concepts Man and Woman are disjoint:
  • ?x memberOf Man implies neg ?x memberOf Woman
  • Every Human has a father, which is a Human and every father is a human:
  • ?x memberOf Human implies exists ?y ( ?x[father hasValue ?y] and ?y memberOf Human ) and forall ?y ( ?x[father hasValue ?y] implies ?y memberOf Human )

Speaker notes:

Content Tools


There are currently no sources for this slide.