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

Find the curve on the surface - shortest arc lenght, (a) Find the curve on ...

(a) Find the curve on the surface z=x 3/2 joining the points(x,y,z)=(0,0,0) and (1,1,1) has the shortest arc lenght? (b) Use a computer to produce a plot showing the surface an

Find the 20th term of arithmetic progressions, Find the 20 th term from th...

Find the 20 th term from the end of the AP 3, 8, 13........253. Ans:    3, 8, 13 .............. 253 Last term = 253 a20 from end = l - (n-1)d 253 - ( 20-1) 5 253

Probablity, probability as that of flipping a coin eight times and getting ...

probability as that of flipping a coin eight times and getting all the times the same side of the coin.)

Evaluate the circumference of the spray, A water sprinkler operates in a ci...

A water sprinkler operates in a circular pattern a distance of 10 ft. Evaluate the circumference of the spray? (π = 3.14) a. 31.4 ft b. 314 ft c. 62.8 ft d. 628 ft

Is this a sample statistic.., jenna asked 100 of her schoolmates if they ha...

jenna asked 100 of her schoolmates if they have had their first kiss and 43 of them said yes

Velocity of a particle, A particle moves along a straight line so that afte...

A particle moves along a straight line so that after t secs its distance from fixed point O on the line is given by s=(t-1)^2(t-2).find the distance from O when the velocity is zer

Simple harmonic motion, prove that the composition of two simple harmonic o...

prove that the composition of two simple harmonic of the same period and in the same straight line is also a simple harmonic motion of the same period.

Example to understand division means, My nephew had been introduced to divi...

My nephew had been introduced to division by his teacher Ms. Santosh, in Class 3. He, and several of his friends who had been taught by her, appeared to be quite comfortable with t

Geometry, Note on point of tangent

Note on point of tangent

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