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

Ask an Expert

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

Write your message here..

Related Questions

Properties of dot product - proof, Properties of Dot Product - proof P... 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

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

Coprime positive integer, 6 male students and 3 female students sit around ... 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

Krystal, what is the tenths place what is the tenths place

Identify the surface for the equation , Identify the surface for each of th... 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, How many relations are possible... 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

Geometry, the segments shown could form a triangle the segments shown could form a triangle

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

One-sided limits, One-sided limits: We do this along with one-sided limits... 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, How to Converting Decimals to Perce... 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