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
WHAT TWO SIX DIDGIT NUMBERS CAN YOU ADD 984,357

Explain English System in details? There are three types of measurements that can be taken using the English System: length, distance, weight, and capacity. Length and dista

Finding Absolute Extrema : Now it's time to see our first major application of derivatives.  Specified a continuous function, f(x), on an interval [a,b] we desire to find out the

Definite integration It involve integration among specified limits, say a and b The integral    is a definite integral whether the limits of integration are as: a and b

|a.x|=1 where x = i-2j+2k then calculate a

We desire to construct a box whose base length is three times the base width. The material utilized to build the top & bottom cost $10/ft 2 and the material utilized to build the

Get the Delta H (Enthalpy) and Delta V (Volume) of the both components below and compare by ratio.  You need to use clapeyron equation and also need to draw the graphs. S A LG

Easy Rider taxi service charges a pick-up fee of $2 and $1.25 for each mile. Luxury Limo taxi service charges a pick-up fee of $3.25 and $1 per mile. How many miles required to be

Approximating solutions to equations : In this section we will look at a method for approximating solutions to equations. We all know that equations have to be solved on occasion

In a frequency distribution mode is 7.88, mean is 8.32 find the median.  (Ans: 8.17) Ans:  Mode = 3 median - 2 mean 7.88 = 3 median - 2 x 8.32 7.88 +16.64 = 3 median