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

Example of pythagorean theorem, Any 15 foot ladder is resting against the w... Any 15 foot ladder is resting against the wall. The bottom is at first 10 feet away from the wall & is being pushed in the direction of the wall at a rate of 1 ft/sec. How rapid is

Algorithm, sinx sinx

How to divide two fractions, Q. How to divide two fractions?If you want to ... Q. How to divide two fractions?If you want to divide two fractions, You invert the second fraction (that means, turn it upside-down) and multiply (change the division to a

Descrbe about arithmetic and geometric sequences, Descrbe about Arithmetic ... Descrbe about Arithmetic and Geometric Sequences? When numbers are listed according to a particular pattern, we call the list a sequence. In a sequence, the numbers are separat

Assemble the coefficient matrix and solve the linear system, Solve discrete... Solve discrete harmonic mapping of a given surface patch (suppose the surface is genus-0 and with one boundary) 1. Map the boundary loop onto a unit rectangle using chord-length

Compositions of relations, Let Consider R A Χ B, S B Χ C be two relation... Let Consider R A Χ B, S B Χ C be two relations. Then compositions of the relations S and R given by SoR A Χ C and is explained by (a, c) €(S o R) iff € b € B like (a, b) € R,

Fractions, a boy is six months old his sister was given birth to three mont... a boy is six months old his sister was given birth to three month after him. if their cousin is 0.33years old, arrange their ages in ascending order

#title applications of vector and scalar , #question application of vector ... #question application of vector and scalar in our daily life

Iceviga, Jess had a book with 100 pages to read she only read 10 how many p... Jess had a book with 100 pages to read she only read 10 how many pages does she have to read?

Probability, julie has 3 hats and 5 scarves. How many ways can she wear a h... julie has 3 hats and 5 scarves. How many ways can she wear a hat and a scarf?