in

The ORM Foundation

Get the facts!

predicats and elementary facts

Last post 10-20-2008 14:17 by Terry Halpin. 1 replies.
Page 1 of 1 (2 items)
Sort Posts: Previous Next
  • 10-20-2008 11:22

    predicats and elementary facts

     what i dont understand is the fact that you can say that A exists (and create an existential fact), or you can define the property existence (or inexistence), then go on and say that A has the property existence (creating an elementary fact).

    isnt it the same content declared in two different ways - once as an existential fact and once as an elementary fact?

    Filed under:
  • 10-20-2008 14:17 In reply to

    Re: predicats and elementary facts

    Rolemo

    I assume you want to use "exists" as a unary predicate. The formalization of ORM instead always uses an existential quantifier instead of a predicate for asserting existence. So please do not use "exists" as a predicate.

    Cheers

    Terry

Page 1 of 1 (2 items)
© 2008-2014 The ORM Foundation: A UK not-for-profit organisation -------------- Terms of Service