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
Testing the hypothesis equality of two variances The test for equality of two population variances is based upon the variances in two independently chosen random samples drawn

If tanA+sinA=m and m2-n2 = 4vmn, show that tanA-sinA=n

Magnitude - Vector The magnitude, or length, of the vector v → = (a1, a2, a3) is given by, ||v → || = √(a 1 2 + a 2 2 + a 2 3 ) Example of Magnitude Illus

Cos(x+y)+sin(x+y)=dy/dx(solve this differential equation)

Sin3x ? Solution) THE FORMULA IS RIGHT ,SO sin3x=3sinx-4sin 3 x

A framed print measures 36 by 22 in. If the print is enclosed by a 2-inch matting, Evaluate the length of the diagonal of the print? Round to the nearest tenth. See Example.

limit x-a/|x-a| equals x-a [a]a [b]0 [c]-a [d]none 0f these

How do I solve this problem: Manuel is a cross-country runner for his school’s team. He jogged along the perimeter of a rectangular field at his school. The track is a rectangle th

The cost of renting a bike at the local bike shop can be represented through the equation y = 2x + 2, where y is the total cost and x is the number of hours the bike is rented. Whi

Q. Explain Venn diagrams? Ans. Venn diagrams, named after the Englishman John Venn, are "area" or "region" diagrams that can be used to help visualize and organize differe