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
The order of a differential equation is the huge derivative there in the differential equation. Under the differential equations as listed above in equation (3) is a first order di

all basic knowledge related to geometry

Example  Multiply 3x 5 + 4x 3 + 2x - 1 and x 4 + 2x 2 + 4. The product is given by 3x 5 . (x 4 + 2x 2 + 4) + 4x 3 . (x 4 + 2x 2 + 4) + 2x .

using a pair of compasses a ruler and a pencil. construct a triangle CDE in which DE=10cm, DC+8cm and CDE= 45 degrees. construct CF perpendicular to DE such that F lies on DE using

Two circles touch each other externally: Given: Two circles with respective centres C1 and C2 touch each other externaly at the point P. T is any point on the common tangent

How to calculate costs if you have a computerised payroll package for your large business?

EXPLAIN HOW MARKOV PROCESS IS APPLIED IN BRAND SWITCHING?

I need to graph rational numbers on the number line Point A-.60, point B-1/4, point C-.4,point D-7/8

Is usual topology on R is comparable to lower limit topology on R

How tall does a cone with diameter of 10 inches have to be to fit exactly half of a sphere with a diameter of 10 inches inside it?