Write first-order formulas over the relational symbols, Mathematics

Assignment Help:

Consider the unary relational symbols P and L, and the binary relational symbol On, where P(a) and I(a) encode that a is a point and a (straight) line in the 2-dimensional space, respectively, while On(a,b) encodes that a is a point, b is a line, and o lies on b.

Write first-order formulas over these relational symbols expressing the following (you can use the equality relation between lines/points):

(a) On every line, there lie at least two different points.

(b) Any two lines sharing at least two different points are identical.

(c) For any two different points, there exists exactly one line on which they lie.


Related Discussions:- Write first-order formulas over the relational symbols

Fraction, maria has a slice of pizza that is 1/6 of the pizaa.Ben has a sli...

maria has a slice of pizza that is 1/6 of the pizaa.Ben has a slice of pizza that is 1/3 of the pizza, marias slice is bigger.draw pizzas to show how this is possible.

Addition of like terms with same signs, Case 1: Suppose we are given...

Case 1: Suppose we are given expressions like 3abc and 7abc and asked to compute their sum. If this is the case we should not worry much. Because adding like exp

Machines, descuss the seauencing problem for n jobs on two and three machin...

descuss the seauencing problem for n jobs on two and three machines

Real numbers on every line, Make a file called "testtan.dat" which has 2 li...

Make a file called "testtan.dat" which has 2 lines, with 3 real numbers on every line (some negative, some positive, in the range from-1 to 3).  The file can be formed from the edi

Constructing tables versus rote learning maths, CONSTRUCTING TABLES VERSUS ...

CONSTRUCTING TABLES VERSUS ROTE LEARNING :  Ask any adult how she would help a child to acquire simple multiplication facts. There is a very strong possibility that she would say,

Distance and Section Formulae, find the coordinates of points of tri-sectio...

find the coordinates of points of tri-section of the line joining the points (-3,0) and (6,6).

PROBABILITY.., Urn A contains 1 white,2 black and 3 red balls;Urn B contain...

Urn A contains 1 white,2 black and 3 red balls;Urn B contains 2 white,1 black and 1 red balls;and Urn C contains 4 white,5 black and 3 red balls.One urn is chosen at random and two

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd