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
Suppose that x = x (t ) and y = y (t ) and differentiate the following equation with respect to t. Solution                                         x 3 y 6 + e 1- x - cos (5

principal=2000 rate=5% time=2 years find compound interest

The subsequent type of first order differential equations which we'll be searching is correct differential equations. Before we find in the full details behind solving precise diff

how to select out time for m2

A ladder sets against a wall at an angle α to the horizontal.  If the foot is pulled away from the wall through a distance of 'a', so that is slides a distance 'b' down the wall ma

Finite Population Correction Factor Or Fpcf) If a specified population is relatively of small size and sample size is more than 5 percent of the population then the standard er

difference between cpm n pert operation research pdfepted#

what is the least number of faces and bases the paperweight could have?

Infinite Interval  - Improper Integrals In this type of integral one or both of the limits that is upper limit and lower limit of integration are infinity.  In these cases the

if area of a rectangle is 27 sqmtr and it perimeter is 24 m find the length and breath#