Write first-order formulas over the relational symbols, Mathematics

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.

Posted Date: 3/1/2013 12:13:31 AM | Location : United States







Related Discussions:- Write first-order formulas over the relational symbols, Assignment Help, Ask Question on Write first-order formulas over the relational symbols, Get Answer, Expert's Help, Write first-order formulas over the relational symbols Discussions

Write discussion on Write first-order formulas over the relational symbols
Your posts are moderated
Related Questions
1. Sketch the Spiral of Archimedes: r= aθ (a>0) ? 2: Sketch the hyperbolic Spiral: rθ = a (a>0) ? 3: Sketch the equiangular spiral: r=ae θ (a>0) ?

A Cleaning solution has 40% vinegar. Find the amount of vinegar in 32 ounces of the solution>

Now we have to look at rational expressions. A rational expression is a fraction wherein the numerator and/or the denominator are polynomials.  Here are some examples of rational e

If the p th term of an AP is q and the q th term is p. P.T its n th term is (p+q-n). Ans:    APQ a p = q a q = p a n = ? a + (p-1) d = q a + (q-1) d = p

can u tell me a website for iit-jee questions?


Graph y = tan ( x ). Solution In the case of tangent we need to be careful while plugging x's in since tangent doesn't present wherever cosine is zero (remember that tan x

Finding the Equation of a line, Given a Slope and a Point ? Find the equation of a line with slope m = 2, which passes through the point (-1, -3). Solution: Use the po

a man in rested rupee 800 is buying rupee 5 shares and then are selling at premium of rupee 1.15. He sells all the shares.find profit