Re: Notation for FOL and Set Thoery.

Zaljohar@xxxxxxxxx wrote:


Intersection: this is represented by the dot .

A.B

means A intersection B.

Some texts use . for and.

5.a: Parthood: this is represented by the symbole :.

y :. x

the above means y is a part of x

5:b:Proper parthood: this is represented by the symbole :..

y :.. x

Some texts use dots as brackets

--
Remove "antispam" and ".invalid" for e-mail address.
.

Relevant Pages

  • Re: Nelson County, Virginia gets their first traffic signal
    ... the point where the DOT has to improve the intersection. ... If its on a side street, its fair game for developers.....if the DOT ... not enough capacity on the road to support the development and maintain ... if the development will not add an excessive amount of traffic to ...
    (misc.transport.road)
  • Re: representing connections with a dot in VISIO
    ... dot to the intersections of another line intersection. ... For the connecting dot, I think what you want is a circle centered on two ... connecting with a dot and not connecting by just passing over the wire? ...
    (sci.electronics.design)
  • Re: "Green Light Trigger"
    ... with the DOT here for over a month just to get ONE part of ONE intersection to recognize me. ... I'm waiting for the one that clips to your handlebars and ... has about a 1000 foot range. ...
    (rec.motorcycles.harley)
  • Foreign name changes to English word when entered on form
    ... certain texts into English words. ... something to dot with this problem? ... Any help wil be appreciated. ...
    (microsoft.public.access.formscoding)
  • Re: Math (or geometry) problem... Involving points.
    ... Consider the intersection of the two circles with unit radius ... p dot d dot tafti at ieee dot org ...
    (sci.math)