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

Partial Differentiation, If the sides angles of a triangle ABC vary in such...

If the sides angles of a triangle ABC vary in such a way that it''s circum - radius remain constant. Prove that, da/cos A +db/cos B+dc/cos C=0

Good investment, Realtors estimate that 23% of homes purchased in 2004 were...

Realtors estimate that 23% of homes purchased in 2004 were considered investment properties. If a sample of 800 homes sold in 2004 is obtained what is the probability that at most

Find ways in which prizes are distributed between student, Find out the num...

Find out the number of ways in which 5 prizes can be distributed among 5 students such that  (a)   Each student may get a prize. (b)  There is no restriction to the number o

Find the co ordinates of p such that ap =3/7 ab and p lies, If A & B are (-...

If A & B are (-2,-2) and (2,-4) respectively, find the co ordinates of P such that AP =3/7 AB and P lies on the line segment AB.

Standard basis vectors -application of scalar multiplication, Standard Basi...

Standard Basis Vectors Revisited In the preceding section we introduced the idea of standard basis vectors with no really discussing why they were significant.  We can now do

Marketing, In a 2500 word report do the market analysis of China. Under thi...

In a 2500 word report do the market analysis of China. Under this you have to explain: - What are the advantages and disadvantages for foreign company to set up its business cent

Regression, regression line drawn as Y=C+1075x, when x was 2, and y was 239...

regression line drawn as Y=C+1075x, when x was 2, and y was 239, given that y intercept was 11. calculate the residual

Algebra, how do you solve quadratic equations by factoring?

how do you solve quadratic equations by factoring?

Find out function is increasing and decreasing, Find out where the followin...

Find out where the following function is increasing & decreasing. A (t ) = 27t 5 - 45t 4 -130t 3 + 150 Solution As with the first problem first we need to take the

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