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
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

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? When numbers are listed according to a particular pattern, we call the list a sequence. In a sequence, the numbers are separat

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

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,

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

#question application of vector and scalar in our daily life

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

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