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

A graph G has 21 Edges, 3 vertices of degree 4 and other vertices are of degree 3. Find the number of vertices in G.   Ans: It is specified that graph G has 21 edges, so total

A dealer sells a toy for Rs.24 and gains as much percent as the cost price of the toy. Find the cost price of the toy. Ans:    Let the C.P be x ∴Gain = x % ⇒ Gain = x

find the equation of locus of point which lies on bisectors of angles between the coordinate axes

Verify the Parseval theorem for the discrete-time signal x(n) and its DFT from given equations. Compute the linear convolution of the discrete-time signal x(n) ={3, 2, 2,1} and

Differentiate following. f ( x ) = sin (3x 2   + x ) Solution It looks as the outside function is the sine & the inside function is 3x 2 +x. The derivative is then.

how do you learn about equivelant fractions

find the area of this figure in square millimeter measure each segment to the nearest millmeter

The distance around a square photograph is 12.8 centimeters. What is the langth of each side of the fotograph?

Evaluate following integrals.                       ( (1 - (1 /w) cos (w - ln w) dw Solution In this case we know how to integrate only a cosine therefore let's makes th