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

Ask question #Minimum 100 words acceAccording to the CDC there were 597,689 deaths in the US in 2010 attributed to heart disease. a) Given That the US population in 2010 was clos


Finding the number of Permutations of 'n' dissimilar things taken 'r' at a time:  After looking at the definition of permutations, we look at how to evolve a

John is planning to buy an irregularly shaped plot of land. Referring to the diagram, determine the total area of the land. a. 6,400 m 2 b. 5,200 m 2 c. 4,500 m 2 d.

Derivative with Polar Coordinates dy/dx = (dr/dθ (sin θ) + r cos θ) / (dr/dθ (cosθ) - r sinθ) Note: Rather than trying to keep in mind this formula it would possibly be easi

The sides of a triangle are x^(2 )+x+1, 2x+1,x^2-1, prove that the largest angle is 120 degrees, and find range of x. Ans) The biggest side is x^(2) + x + 1 so findout the angl

G raph y = sec ( x ) Solution: As with tangent we will have to avoid x's for which cosine is zero (recall that sec x =1/ cos x) Secant will not present at


The following relation is not a function.                   {(6,10) ( -7, 3)  (0, 4)  (6, -4)} Solution Don't worry regarding where this relation came from.  It is only on