The ORM Foundation

Get the facts!

predicats and elementary facts

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

    • rolemo
    • Top 25 Contributor
    • Joined on Sun, Oct 12 2008
    • Posts 38

    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:
  • Mon, Oct 20 2008 14:17 In reply to

    Re: predicats and elementary facts


    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.



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