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

Quadratic equation whose roots are real, Write the quadratic equation whose...

Write the quadratic equation whose roots are real and non conjugate Ans)  x^2-x+6=0 ...roots are real and non conjugate

Quotient rule, Quotient Rule : If the two functions f(x) & g(x) are differ...

Quotient Rule : If the two functions f(x) & g(x) are differentiable (that means the derivative exist) then the quotient is differentiable and,

Trig, without using a calculator how would you know is cos theta(20) is gre...

without using a calculator how would you know is cos theta(20) is greater than cos theta (35)

Find the larger of two supplementary angles, The larger of two supplementar...

The larger of two supplementary angles exceeds the smaller by 180, find them. (Ans:990,810) Ans:    x + y = 180 0          x - y =  18 0        -----------------

Queuing Theory, A telephone exchange has two long distance operators.The te...

A telephone exchange has two long distance operators.The telephone company find that during the peak load,long distance calls arrive in a poisson fashion at an average rate of 15 p

What is the greater of two consecutive negative integers, What is the great...

What is the greater of two consecutive negative integers whose product is 132? Let x = the lesser integer and let x + 1 = the greater integer. Because product is a key word for

Discret math, i have a question about discret math

i have a question about discret math

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