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
Properties of Dot Product - proof Proof of: If v → • v → = 0 then v → = 0 → This is a pretty simple proof.  Let us start with v → = (v1 , v2 ,.... , vn) a

Question. Determine the position and nature of stationary points of the function? f(x,y)= y/x -x 2 +y 2

6 male students and 3 female students sit around a round table. The probability that no 2 female students sit beside each other can be expressed as a/b, where a and b are coprime p

what is the tenths place

Identify the surface for each of the subsequent equations. (a) r = 5 (b) r 2 + z 2 = 100 (c) z = r Solution (a)  In two dimensions we are familiar with that this

How many relations are possible from a set A of 'm' elements to another set B of 'n' elements?     Ans: A relation R from a set A to other set B is specified as any subset of A

the segments shown could form a triangle

SOLVE THE inequation 0>-5 -X AND X Belongs TO R .Represent THE SOLUTION SET ON THE NUMBER LINE

One-sided limits: We do this along with one-sided limits.  As the name implies, with one-sided limits we will just looking at one side of the point in question.  Following are the

How to Converting Decimals to Percents ? To convert a decimal to a percent: Move the decimal point two decimal places to the right. Place a percent sign after the resulting